Publication:3749102
From MaRDI portal
zbMath0609.06009MaRDI QIDQ3749102
Publication date: 1985
06A06: Partial orders, general
06D20: Heyting algebras (lattice-theoretic aspects)
06D15: Pseudocomplemented lattices
Related Items
A glimpse of deductive systems in algebra, Algebraic aspects of relatively pseudocomplemented posets, Relatively pseudocomplemented Hilbert algebras, Hilbert algebras as implicative partial semilattices