An axiom system for the modular logic
From MaRDI portal
Publication:1228608
DOI10.1007/BF02123412zbMath0333.02023WikidataQ114693664 ScholiaQ114693664MaRDI QIDQ1228608
Publication date: 1967
Published in: Studia Logica (Search for Journal in Brave)
Related Items (19)
Probabilistic forcing in quantum logics ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ The deduction theorem for quantum logic—some negative results ⋮ ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY ⋮ The quasi-lattice of indiscernible elements ⋮ An axiom system for orthomodular quantum logic ⋮ Quasi-implication algebras. I: Elementary theory ⋮ Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations ⋮ Bibliography on quantum logics and related structures ⋮ The problem of conjunction and disjunction in quantum logics ⋮ Nonordered quantum logic and its YES-NO representation ⋮ On logical systems with implications and theories of algebras ⋮ On quantity of logical values in the discussive \(D_2\) system and in modular logic ⋮ Logical systems with implications ⋮ Logics based on partial Boolean \(\sigma\)-algebras. I ⋮ Stalnaker conditionals and quantum logic ⋮ The conditional in quantum logic ⋮ Canonical extensions and ultraproducts of polarities ⋮ The modular logic as a calculus of logical schemata
Cites Work
This page was built for publication: An axiom system for the modular logic