Publication:3768949
From MaRDI portal
zbMath0632.06015MaRDI QIDQ3768949
Publication date: 1985
Heyting algebras; Boolean algebras; implicative algebras; Kleene algebras; Post algebras; Stone algebras; De Morgan algebras; Lukasiewicz algebras; algebraic aspects of nonclassical logic
03B45: Modal logic (including the logic of norms)
06D20: Heyting algebras (lattice-theoretic aspects)
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
06E05: Structure theory of Boolean algebras
06D25: Post algebras (lattice-theoretic aspects)
03G20: Logical aspects of ?ukasiewicz and Post algebras
Related Items
Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic, Representation of Hilbert algebras and implicative semilattices, Spectral-like duality for distributive Hilbert algebras with infimum