Material implications in orthomodular (and Boolean) lattices
From MaRDI portal
Publication:1141650
DOI10.1305/ndjfl/1093883401zbMath0438.03060OpenAlexW2044007958MaRDI QIDQ1141650
Publication date: 1981
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883401
Related Items
On residuation in paraorthomodular lattices, Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS), Quantum set theory: transfer principle and De Morgan's laws, Algebraic structures in the vicinity of pre-rough algebra and their logics. II, Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals, A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC, A BRIDGE BETWEEN Q-WORLDS, Sequent Calculi for Orthologic with Strict Implication, ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY, Discrete quantum structures. I: Quantum predicate logic, Modeling correlated information change: from conditional beliefs to quantum conditionals, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces, A map of dependencies among three-valued logics, On the representation of fuzzy rules, Fuzzy implications in lattice effect algebras, Modal-type orthomodular logic, Lattices with Interior and Closure Operators and Abstract Approximation Spaces, Material implications in lattice effect algebras, Reforming Takeuti's quantum set theory to satisfy De Morgan's laws
