Positive Formulas in Intuitionistic and Minimal Logic

DOI10.1007/978-3-662-46906-4_11zbMath1326.03018OpenAlexW1197526948MaRDI QIDQ3455187

Zhiguang Zhao, Dick H. J. de Jongh

Publication date: 3 December 2015

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/positive-formulas-in-intuitionistic-and-minimal-logic(a86cc779-3bfb-4091-879a-b2b4d7ec13d1).html

zbMATH Keywords

interpolationintuitionistic logicintermediate logicsconservativityminimal logicJankov's logicpositive formulas

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (4)

Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Proof complexity of intuitionistic implicational formulas ⋮ Admissibility in positive logics ⋮ Proof theory for positive logic with weak negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• Constructivism in mathematics. An introduction. Volume II
• Zur Deutung der intuitionistischen Logik
• Undefinability of propositional quantifiers in the modal system S4
• 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
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

This page was built for publication: Positive Formulas in Intuitionistic and Minimal Logic