HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR

DOI10.4467/20842589RM.14.004.2274zbMath1355.03049OpenAlexW746333381MaRDI QIDQ5499650

Daniela Montangie, Sergio Arturo Celani

Publication date: 30 July 2015

Full work available at URL: https://dblp.uni-trier.de/db/journals/rml/rml49.html#CelaniM14

zbMATH Keywords

intuitionistic modal logicHilbert algebras\(H\square\)-algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) BCK-algebras, BCI-algebras (06F35) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Varieties of lattices (06B20) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Hilbert algebras with Hilbert-Galois connections ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)

This page was built for publication: HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR