Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic

DOI10.1016/S0168-0072(00)00009-9zbMath0959.03006MaRDI QIDQ1577480

Lex Hendriks

Publication date: 4 January 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

interpolationfragments of propositional logicfragments of intuitionistic logicautomated model checking

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Cites Work

• Der Interpolationssatz der intuitionistischen Prädikatenlogik
• Computations in fragments of intuitionistic propositional logic
• Interpolation and amalgamation properties in varieties of equivalential algebras
• Interpolation in fragments of intuitionistic propositional logic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Intuitionistic propositional logic with only equivalence has no interpolation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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