Implication connectives in orthomodular lattices
From MaRDI portal
Publication:2560812
DOI10.1305/ndjfl/1093891789zbMath0262.02030OpenAlexW2065385497MaRDI QIDQ2560812
Publication date: 1975
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891789
Modal logic (including the logic of norms) (03B45) Modular lattices, Desarguesian lattices (06C05) Logical aspects of Boolean algebras (03G05) General logic (03B99)
Related Items
Commutative \(L\)-algebras and measure theory ⋮ The Sheffer stroke operation reducts of basic algebras ⋮ \(L\)-algebras and three main non-classical logics ⋮ Logical connectives on lattice effect algebras ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ \(L\)-effect algebras ⋮ Discrete quantum structures. II: Examples ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY ⋮ The structure group of a generalized orthomodular lattice ⋮ Unnamed Item ⋮ Degenerate involutive set-theoretic solutions to the Yang-Baxter equation ⋮ The \(L\)-algebra of Hurwitz primes ⋮ Orthomodular lattices and quadratic spaces: A survey ⋮ The conditional in quantum logic ⋮ Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups ⋮ \(L\)-algebras in logic, algebra, geometry, and topology ⋮ Material implications in lattice effect algebras ⋮ Natural deduction for quantum logic ⋮ A theory of computation based on quantum logic. I ⋮ On the enumeration of finite 𝐿-algebras ⋮ L-algebras and topology
This page was built for publication: Implication connectives in orthomodular lattices
