An axiom system for the modular logic

DOI10.1007/BF02123412zbMath0333.02023WikidataQ114693664 ScholiaQ114693664MaRDI QIDQ1228608

Jerzy Kotas

Publication date: 1967

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Modular lattices, Desarguesian lattices (06C05) General logic (03B99)

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

• New Algebras of Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An axiom system for the modular logic