Intuitionistic modal algebras

DOI10.1007/S11225-023-10065-2MaRDI QIDQ6562368FDOQ6562368

Authors: Sergio A. Celani, Umberto Rivieccio 

Publication date: 26 June 2024

Published in: Studia Logica (Search for Journal in Brave)

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

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

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)