An algebraic approach to intuitionistic connectives
From MaRDI portal
(Redirected from Publication:4328824)
Recommendations
Cites work
- Affine complete varieties
- An algebraic approach to non-classical logics
- Aspects of topoi
- Bi-Heyting algebras, toposes and modalities
- Completeness in arithmetical algebras
- Equational classes of relative Stone algebras
- Finite limitations on Dummett's LC
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- New solutions to Novikov's problem for intuitionistic connectives
- Nonstandard connectives of intuitionistic propositional logic
- On some new intuitionistic propositional connectives. I
- The word problem for \(Heyting^ *\) algebras
Cited in
(39)- Nonstandard connectives of intuitionistic propositional logic
- Semantic characterization of intuitionistic logical connectives
- Expanding \(\text{FL}_{ew}\) with a Boolean connective
- Subminimal negation
- On congruences in weak implicative semi-lattices
- Implicit connectives of algebraizable logics
- On some classes of Heyting algebras with successor that have the amalgamation property
- On prelinear Hilbert algebras with successor
- On relative principal congruences in term quasivarieties
- What is a relevant connective?
- Proof theory for positive logic with weak negation
- On an operation with regular elements
- Compatible operations on commutative weak residuated lattices
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication
- Principal congruences in weak Heyting algebras
- n-valued connectives
- Free and projective bimodal symmetric Gödel algebras
- scientific article; zbMATH DE number 7217023 (Why is no real title available?)
- XIV Latin American Symposium on Mathematical Logic (SLALM)
- Compatible Functions in Algebras Associated to Extensions of Positive Logic
- Compatible operations on commutative residuated lattices
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Description of all functions definable by formulae of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
- Hedges and successors in basic algebras
- scientific article; zbMATH DE number 1302499 (Why is no real title available?)
- Frontal operators in weak Heyting algebras
- scientific article; zbMATH DE number 3997784 (Why is no real title available?)
- On products of posets and coproducts of KM-algebras
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
- ALGEBRAIC EXPANSIONS OF LOGICS
- The variety of modal weak Gödel algebras
- Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation
- Conservative expansions of substructural logics
- Univocity of intuitionistic and classical connectives
- Modal expansions of ririgs
- A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
- Compatible operations on residuated lattices
- On some compatible operations on Heyting algebras
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra
This page was built for publication: An algebraic approach to intuitionistic connectives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4328824)
