Extendible formulas in two variables in intuitionistic logic

DOI10.1007/s11225-012-9389-8zbMath1256.03019OpenAlexW2101864442MaRDI QIDQ454378

Nick Bezhanishvili, Dick H. J. de Jongh

Publication date: 1 October 2012

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

Full work available at URL: https://doi.org/10.1007/s11225-012-9389-8

zbMATH Keywords

intuitionistic logicexact formulasuniversal modelsextendible formulasprojective formulas

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ A new constant in superintuitionistic logic L3 ⋮ New constants in two pretabular superintuitionistic logics ⋮ Characterizing finite-valuedness ⋮ Intuitionistic Layered Graph Logic ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic implication without disjunction
• Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Rules of inference with parameters for intuitionistic logic
• Unification in intuitionistic logic
• Finitely generated free Heyting algebras
• The decidability of dependency in intuitionistic propositional logic
• A sheaf representation and duality for finitely presented Heyting algebras