On conjectures in orthocomplemented lattices (original) (raw)
Related papers
Lattice-theoretic models of conjectures, hypotheses and consequences
Artificial Intelligence, 2002
On Some New Operations on Orthomodular Lattices
International Journal of Theoretical Physics, 2000
Material implication in orthomodular (and Boolean) lattices
Notre Dame Journal of Formal Logic, 1981
A pr 2 01 4 The Square of Opposition in Orthomodular Logic
2020
Logical and algebraic properties of generalized orthomodular posets
arXiv: Logic, 2020
Background Notions in Lattice Theory and Generalized Quantifiers / 1997
Studies in Linguistics and Philosophy, 1997
Journal of the Australian Mathematical Society, 1975
Equivalencies, Identities, Symmetric Differences, and Congruencies in Orthomodular Lattices
International Journal of Theoretical Physics, 2000
Equivalences, Identities, Symmetric Differences, and Congruences in Orthomodular Lattices
2003
On the content of lattices of logics. Part I
The logic of orthomodular posets of finite height
Logic Journal of the IGPL
Lattices and Their Consistent Quantification
Annalen der Physik, 2018
Notes on N-lattices and constructive logic with strong negation
Studia logica, 1977
Notre Dame Journal of Formal Logic, 2000
Some Elementary Properties of Conditionally Distributive Lattices
1983
Studia Logica, 1995
Results in lattices, ortholattices, and graphs
2011
Varieties of orthomodular lattices. II
Canadian Journal of Mathematics, 1972
R A ] 1 2 D ec 2 01 8 Ordinal and Horizontal Sums Constructing PBZ ∗ – Lattices
2018
Three roads to complete lattices: orders, compatibility, polarity
Algebra Universalis, 2021
On two fragments with negation and without implication of the logic of residuated lattices
Archive for Mathematical Logic, 2006
Group representations in certain lattices of propositions
International Journal of Theoretical Physics, 1975
Sums, products and negations of contexts and complete lattices
Algebra universalis, 2009
The Beth property and interpolation in lattice-based algebras and logics
Algebra and Logic, 2008
Logics preserving degrees of truth from varieties of residuated lattices
Journal of Logic and Computation, 2012
On the strength of some topological lattices
Contemporary Mathematics, 2017
Relational Lattices: An Introduction
TACL 2009}, 2009
Boolean valued models and generalized quantifiers
Annals of Mathematical Logic, 1980
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
Journal of Logic and Computation, 2016
Algebraically and Existentially Closed Distributive Lattices
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1979
Some nonstandard methods applied to distributive lattices
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1990
The Square of Opposition in Orthomodular Logic
Around and Beyond the Square of Opposition, 2012
Residuation in orthomodular lattices
Topological Algebra and its Applications, 2017
Logics based on partial Boolean σ-algebras (1)
Studia Logica, 1974