Compatible elements in implicative models

DOI10.1007/BF00650494zbMath0259.02046MaRDI QIDQ2560241

E. L. Marsden

Publication date: 1972

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Model theory (03C99) Logical aspects of Boolean algebras (03G05) General logic (03B99)

Related Items (8)

Prior’s OIC nonconservativity example revisited ⋮ Algebraic aspects of relatively pseudocomplemented posets ⋮ Unnamed Item ⋮ Hilbert algebras as implicative partial semilattices ⋮ On derivations and generalized derivations of bitonic algebras ⋮ Unnamed Item ⋮ On algebras with a generalized implication ⋮ Quasi-decompositions and quasidirect products of Hilbert algebras

Cites Work

• A note on implicative models
• The logic of quantum mechanics
• An Approach to Empirical Logic
• Unnamed Item

This page was built for publication: Compatible elements in implicative models