Basic propositional calculus. II: Interpolation

DOI10.1007/S001530000062MaRDI QIDQ5945567zbMATH OpenFDO

Authors Mohammad Ardeshir, Wim Ruitenburg

Publication date 2001

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S001530000062

zbMATH Keywords

basic propositional calculusinterpolation theoremKripke modelsubsystem of intuitionistic propositional calculusweakened modus ponens

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Review text

[For Part I see Math. Log. Q. 44, No. 3, 317-343 (1998; Zbl 0912.03005).] Basic propositional calculus BPC is a proper subsystem of intuitionistic propositional calculus IPC through a weakened modus ponens. Consequently the interpolation theorem permits a generalized form, and requires an original proof. If \(A\) is a formula over a language \(L\), and \(C_1\) and \(C_2\) are formulas over a language \(N\), such that \(A\&C_1\) entails \(C_2\), then there is a formula \(B\) over the intersection language of \(L\) and \(N\) such that both \(A\) entails \(B\) and \(B\&C_1\) entails \(C_2\). Additionally, if \(A\), \(C_1\), and \(C_2\) are conjunctions of implications, then \(B\) can be chosen to be a conjunction of implications.

Recommendations

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Interpolation in fragments of intuitionistic propositional logic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• scientific article; zbMATH DE number 2222017
• Interpolation theorems for intuitionistic predicate logic

Cited in

(8)

• A closer look at some subintuitionistic logics
• Implication via spacetime
• On PBZ*-lattices
• scientific article; zbMATH DE number 1377700 (Why is no real title available?)
• Interpolation Property on Visser's Formal Propositional Logic
• A semantical analysis of some subintuitionistic modal logics
• Bounded distributive lattices with strict implication and weak difference
• Amalgamation property for the class of basic algebras and some of its natural subclasses

This page was built for publication: Basic propositional calculus. II: Interpolation

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