Interpolation theorems for intuitionistic predicate logic
From MaRDI portal
Recommendations
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Interpolation in extensions of first-order logic
- Interpolation in superintuitionistic predicate logics with equality
- Interpolation in fragments of intuitionistic propositional logic
Cites work
- scientific article; zbMATH DE number 1292293 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3252193 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- scientific article; zbMATH DE number 3074067 (Why is no real title available?)
- A logic program for transforming sequent proofs to natural deduction proofs
- Indexed systems of sequents and cut-elimination
- Interpolation properties of superintuitionistic logics
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Proof theory
- Representing scope in intuitionistic deductions
Cited in
(32)- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- scientific article; zbMATH DE number 4210104 (Why is no real title available?)
- scientific article; zbMATH DE number 3271481 (Why is no real title available?)
- A unified approach to relative interpolation
- scientific article; zbMATH DE number 3937157 (Why is no real title available?)
- Interpolation theorem of Hao Wang's partial predicate calculus
- The interpolation problem in finite-layered pre-Heyting logics
- A variant of Craig's interpolation theorem for intuitionistic fuzzy formulas. II
- Basic propositional calculus. II: Interpolation
- Full cut elimination and interpolation for intuitionistic logic with existence predicate
- Towards a clausal analysis of cut-elimination
- Intuitionistic propositional logic with only equivalence has no interpolation
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
- Interpolation theorems for some variants of LTL
- Failure of interpolation in constant domain intuitionistic logic
- A refinement of the Craig-Lyndon interpolation theorem for classical first-order logic with identity
- Sequent calculi for intuitionistic Gödel-Löb logic
- Interpolation in extensions of first-order logic
- Der Interpolationssatz der intuitionistischen Prädikatenlogik
- Proof Search and Counter Model of Positive Minimal Predicate Logic
- A weak form of interpolation in equational logic
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- Hypersequent calculi for intuitionistic logic with classical atoms
- scientific article; zbMATH DE number 3841821 (Why is no real title available?)
- Coinductive formulas and a many-sorted interpolation theorem
- Interpolation properties for provability logics GL and GLP
- scientific article; zbMATH DE number 1931663 (Why is no real title available?)
- Cut-elimination, completeness, and Craig interpolation theorems for Gurevich's extended first-order intuitionistic logic with strong negation
- Sentential logics and Maehara interpolation property
- Tools and Algorithms for the Construction and Analysis of Systems
- Interpolation and implicit definability in extensions of the provability logic
- Propositional Interpolation and Abstract Interpretation
This page was built for publication: Interpolation theorems for intuitionistic predicate logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957915)
