Positive Formulas in Intuitionistic and Minimal Logic

DOI10.1007/978-3-662-46906-4_11zbMATH Open1326.03018OpenAlexW1197526948MaRDI QIDQ3455187FDOQ3455187

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 logicconservativityminimal logicintermediate logicsJankov's logicpositive formulas

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A mathematical introduction to logic.
• Zur Deutung der intuitionistischen Logik
• Intuitionistic implication without disjunction
• Constructivism in mathematics. An introduction. Volume II
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
• Quantification in nonclassical logic. Volume I.
• Undefinability of propositional quantifiers in the modal system S4

Cited In (9)

• Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
• Eigenvariables, bracketing and the decidability of positive minimal predicate logic
• Admissibility in positive logics
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Positive Arithmetic Without Exchange Is a Subclassical Logic
• On Positive Relational Calculi
• Proof theory for positive logic with weak negation
• Proof complexity of intuitionistic implicational formulas
• Duality and Universal Models for the Meet-Implication Fragment of IPC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455187)