Intuitionistic modal algebras
From MaRDI portal
Publication:6562368
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)
fragmentsrepresentationnucleitopological dualityweak Heyting algebrasimplicative semilatticesquasi-Nelson algebrasintuitionistic modal algebrasnuclear Heyting algebras
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)
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)