scientific article; zbMATH DE number 4027536

MaRDI QIDQ3768949zbMATH OpenFDO

Authors A. Monteiro

Publication date 1985

zbMATH Keywords

algebraic aspects of nonclassical logicBoolean algebrasDe Morgan algebrasHeyting algebrasimplicative algebrasKleene algebrasLukasiewicz algebrasPost algebrasStone algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of ?ukasiewicz and Post algebras (03G20) Heyting algebras (lattice-theoretic aspects) (06D20) Post algebras (lattice-theoretic aspects) (06D25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Structure theory of Boolean algebras (06E05)

Cited in

(3)

• Representation of Hilbert algebras and implicative semilattices
• Spectral-like duality for distributive Hilbert algebras with infimum
• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3768949)