Pages that link to "Item:Q1228608"
From MaRDI portal
The following pages link to An axiom system for the modular logic (Q1228608):
Displaying 19 items.
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- The problem of conjunction and disjunction in quantum logics (Q682656) (← links)
- Nonordered quantum logic and its YES-NO representation (Q689309) (← links)
- An axiom system for orthomodular quantum logic (Q1160172) (← links)
- Quasi-implication algebras. I: Elementary theory (Q1170189) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- On quantity of logical values in the discussive \(D_2\) system and in modular logic (Q1221748) (← links)
- Logical systems with implications (Q1221757) (← links)
- Logics based on partial Boolean \(\sigma\)-algebras. I (Q1227737) (← links)
- Stalnaker conditionals and quantum logic (Q1237722) (← links)
- The conditional in quantum logic (Q1239315) (← links)
- Probabilistic forcing in quantum logics (Q1325670) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- On logical systems with implications and theories of algebras (Q2264664) (← links)
- The modular logic as a calculus of logical schemata (Q2562179) (← links)
- Quantum set theory: transfer principle and De Morgan's laws (Q2659103) (← links)
- Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations (Q3299867) (← links)
- The deduction theorem for quantum logic—some negative results (Q3480040) (← links)
- ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY (Q4600827) (← links)