Interpolation in fragments of intuitionistic propositional logic

DOI10.2307/2274823MaRDI QIDQ3486539zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

fragments of intuitionistic propositional logic

Mathematics Subject Classification ID

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

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

Cited in

(32)

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

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)