On some new intuitionistic propositional connectives. I

DOI10.1007/BF02121119zbMath0363.02026OpenAlexW1974098798MaRDI QIDQ1240220

Dov M. Gabbay

Publication date: 1977

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

Full work available at URL: https://doi.org/10.1007/bf02121119

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (15)

Principal congruences in weak Heyting algebras ⋮ What is a relevant connective? ⋮ The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective ⋮ Semantic characterization of intuitionistic logical connectives ⋮ On the completeness of a new intuitionistic connective ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ An algebraic approach to intuitionistic connectives ⋮ On a second order propositional operator in intuitionistic logic ⋮ On an extension of Gabbay's logic ⋮ Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness ⋮ Compatible operations on residuated lattices ⋮ On some compatible operations on Heyting algebras ⋮ The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Compatible operations on commutative weak residuated lattices

Cites Work

• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• On 2nd order intuitionistic propositional calculus with full comprehension
• Logical connectives for intuitionistic propositional logic

This page was built for publication: On some new intuitionistic propositional connectives. I