Intuitionistic modal algebras

DOI10.1007/S11225-023-10065-2MaRDI QIDQ6562368zbMATH OpenFDO

Authors Sergio A. Celani, Umberto Rivieccio

Publication date 26 June 2024

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

fragmentsrepresentationnucleitopological dualityweak Heyting algebrasimplicative semilatticesquasi-Nelson algebrasintuitionistic modal algebrasnuclear Heyting algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 440121 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3987345 (Why is no real title available?)
• scientific article; zbMATH DE number 120346 (Why is no real title available?)
• scientific article; zbMATH DE number 2013229 (Why is no real title available?)
• A categorical duality for semilattices and lattices
• A propositional logic with explicit fixed points
• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic
• An algebraic approach to subframe logics. Intuitionistic case
• An ecumenical notion of entailment
• Bounded distributive lattices with strict implication
• Congruence lattices of pseudocomplemented semilattices
• Constructible falsity
• Diego's theorem for nuclear implicative semilattices
• Duality for finite Hilbert algebras
• Fragments of quasi-Nelson: residuation
• Fragments of quasi-Nelson: the algebraizable core
• Fragments of quasi-Nelson: two negations
• HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
• Hilbert algebras with supremum
• Idempotent residuated structures: Some category equivalences and their applications
• Modal operators on Heyting algebras
• Negation and Implication in Quasi-Nelson Logic
• Nelson algebras through Heyting ones. I
• Propositional lax logic
• Pseudo-complements in semi-lattices
• Quasi-Nelson algebras and fragments
• Quasi-Nelson; or, non-involutive Nelson algebras
• Representation and duality for Hilbert algebras
• Representation of De Morgan and (semi-)Kleene lattices
• Representation of Hilbert algebras and implicative semilattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Some remarks on distributive semilattices

Cited in

(1)

• Nelson conuclei and nuclei: the twist construction beyond involutivity

This page was built for publication: Intuitionistic modal algebras

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