An algebraic approach to intuitionistic connectives

DOI10.2307/2694965zbMath0994.03024OpenAlexW2053722013MaRDI QIDQ4328824

Xavier Caicedo, Roberto L. O. Cignoli

Publication date: 29 April 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694965

zbMATH Keywords

intermediate logicsintuitionistic connectiveaxiomatic extensions of intuitionistic propositional calculuslogics with truth values in Heyting algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (27)

Unnamed Item ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ Principal congruences in weak Heyting algebras ⋮ What is a relevant connective? ⋮ On some classes of Heyting algebras with successor that have the amalgamation property ⋮ The variety of modal weak Gödel algebras ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ Proof theory for positive logic with weak negation ⋮ Hedges and successors in basic algebras ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ Subminimal negation ⋮ Conservative expansions of substructural logics ⋮ On congruences in weak implicative semi-lattices ⋮ Frontal operators in weak Heyting algebras ⋮ On products of posets and coproducts of KM-algebras ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ Implicit connectives of algebraizable logics ⋮ On prelinear Hilbert algebras with successor ⋮ Compatible operations on commutative residuated lattices ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM) ⋮ Compatible operations on residuated lattices ⋮ On some compatible operations on Heyting algebras ⋮ On an operation with regular elements ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Compatible operations on commutative weak residuated lattices ⋮ On relative principal congruences in term quasivarieties ⋮ ALGEBRAIC EXPANSIONS OF LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• The word problem for \(Heyting^ *\) algebras
• Affine complete varieties
• Nonstandard connectives of intuitionistic propositional logic
• An algebraic approach to non-classical logics
• On some new intuitionistic propositional connectives. I
• Bi-Heyting algebras, toposes and modalities
• Finite limitations on Dummett's LC
• Equational classes of relative Stone algebras
• Completeness in arithmetical algebras
• New solutions to Novikov's problem for intuitionistic connectives
• Aspects of topoi

This page was built for publication: An algebraic approach to intuitionistic connectives