Compatible elements in implicative models
From MaRDI portal
Publication:2560241
DOI10.1007/BF00650494zbMath0259.02046MaRDI QIDQ2560241
Publication date: 1972
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items
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