Interpolation in fragments of intuitionistic propositional logic

DOI10.2307/2274823zbMATH Open0706.03011OpenAlexW2252582694MaRDI QIDQ3486539FDOQ3486539

Authors: Gerard R. Renardel de Lavalette 

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/27031

Recommendations

• scientific article; zbMATH DE number 3939330
• scientific article; zbMATH DE number 4061207
• Intuitionistic propositional logic with only equivalence has no interpolation
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
• Interpolation in fragments of classical linear logic

zbMATH Keywords

fragments of intuitionistic propositional logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Interpolation, preservation, definability (03C40)

Cited In (32)

• Intuitionistic implication without disjunction
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Interpolation in propositional Horn logic
• Computations in fragments of intuitionistic propositional logic
• Interpolation in non-classical logics
• Interpolation in fragments of classical linear logic
• A variant of Craig's interpolation theorem for intuitionistic fuzzy formulas. II
• The interpolation problem in finite-layered pre-Heyting logics
• Basic propositional calculus. II: Interpolation
• Computing interpolants in implicational logics
• Failure of interpolation in constant domain intuitionistic logic
• A critical remark on the BHK interpretation of implication
• Duality and universal models for the meet-implication fragment of IPC
• Interpolation in extensions of first-order logic
• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Monadic fragments of intuitionistic control logic
• A weak form of interpolation in equational logic
• Title not available (Why is that?)
• Modular structuring of VDM specifications in VVSL
• Title not available (Why is that?)
• Interpolation theorems for intuitionistic predicate logic
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• A non-classical refinement of the interpolation property for classical propositional logic
• Lewis meets Brouwer: constructive strict implication
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
• Interpolation properties for provability logics GL and GLP
• On constructive fragments of classical logic
• The Beth property in algebraic logic
• Existentially closed Brouwerian semilattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional Interpolation and Abstract Interpretation

This page was built for publication: Interpolation in fragments of intuitionistic propositional logic

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