Lattice-theoretic models of conjectures, hypotheses and consequences (original) (raw)
Related papers
On conjectures in orthocomplemented lattices
Artificial Intelligence, 2000
Lattices and Their Consistent Quantification
Annalen der Physik, 2018
On Some New Operations on Orthomodular Lattices
International Journal of Theoretical Physics, 2000
Background Notions in Lattice Theory and Generalized Quantifiers / 1997
Studies in Linguistics and Philosophy, 1997
Logics preserving degrees of truth from varieties of residuated lattices
Journal of Logic and Computation, 2012
Linguistic truth-valued lattice implication algebra and its properties
Computational Engineering in Systems …, 2006
Valuations on lattices and their application to information theory
2006
On two fragments with negation and without implication of the logic of residuated lattices
Archive for Mathematical Logic, 2006
Some Elementary Properties of Conditionally Distributive Lattices
1983
Lecture Notes in Computer Science, 2014
Valuations on Lattices: Fuzzification and its Implications
Studies in Computational Intelligence, 2000
Residuated Lattices: an algebraic glimpse at logics without contraction
2000
A Gentzen System And Decidability For Residuated Lattices
Uncertainty Reasoning Based on Lattice-Valued Propositional Logic L6
Computational Engineering in Systems …, 2006
Substructural Logics and Residuated Lattices — an Introduction
Trends in Logic, 2003
Notes on N-lattices and constructive logic with strong negation
Studia logica, 1977
Lattices, closures systems and implication bases: A survey of structural aspects and algorithms
Theoretical Computer Science, 2016
The Beth property and interpolation in lattice-based algebras and logics
Algebra and Logic, 2008
A Calculus for Conjecture Synthesis
A linguistic truth-valued uncertainty reasoning model based on Lattice-Valued Logic
Fuzzy Systems and Knowledge Discovery, 2005
Construction methods for implications on bounded lattices
Kybernetika, 2019
[alpha]-Resolution principle based on first-order lattice-valued logic LF (X)
Information Sciences, 2001
Three roads to complete lattices: orders, compatibility, polarity
Algebra Universalis, 2021
RELATIONAL LATTICES: AN INTRODUCTION
2009
2SAT Problems in Some Multi-Valued Logics Based on Finite Lattices
Logics of formal inconsistency based on distributive involutive residuated lattices
Journal of Logic and Computation, 2021
Sums, products and negations of contexts and complete lattices
Algebra universalis, 2009
Relational lattices: From databases to universal algebra
Journal of Logical and Algebraic Methods in Programming, 2016
SIAM Journal on Computing, 1976
Generalizations of lattices via non-deterministic operators
Javier Martinez, Cordero Cordero
Discrete Mathematics, 2005
Lattice-based paraconsistent logic
Relational Methods in Computer Science, 2006
Logical and algebraic properties of generalized orthomodular posets
Mathematica Slovaca, 2022
Some highly undecidable lattices
Annals of Pure and Applied Logic, 1990