Positive Formulas in Intuitionistic and Minimal Logic
From MaRDI portal
Publication:3455187
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
interpolationintuitionistic logicintermediate logicsconservativityminimal logicJankov's logicpositive formulas
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