HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR

DOI10.4467/20842589RM.14.004.2274MaRDI QIDQ5499650zbMATH OpenOpenAlexFDO

Authors Daniela Montangie, Sergio A. Celani

Publication date 30 July 2015

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

zbMATH Keywords

\(H\square\)-algebrasHilbert algebrasintuitionistic modal logic

Mathematics Subject Classification ID

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

Recommendations

• Hilbert algebras with a modal operator \(\diamondsuit\)
• scientific article; zbMATH DE number 724845
• Modal Hilbert algebras and their triple representation
• Hilbert implication algebra and some properties
• scientific article; zbMATH DE number 4035783
• Hilbert algebras as implicative partial semilattices
• Algebras of modal operators and partial correctness
• Modal operators on \(L\)-algebras
• scientific article; zbMATH DE number 5054082
• Distributive nearlattices with a necessity modal operator

Cited in

(12)

• Hilbert algebras with a modal operator \(\diamondsuit\)
• Hilbert algebras with Hilbert-Galois connections
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality
• scientific article; zbMATH DE number 4035783 (Why is no real title available?)
• scientific article; zbMATH DE number 724845 (Why is no real title available?)
• Modal Hilbert algebras and their triple representation
• Linear Heyting algebras with a quantifier
• Intuitionistic modal algebras
• Positive modal Hilbert algebras and Fischer Servi modal Hilbert algebras
• Hilbert algebras with Hilbert-Galois connections. II
• On a topological duality for Stonean Hilbert algebras
• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

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

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