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

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