Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
From MaRDI portal
Publication:1577480
DOI10.1016/S0168-0072(00)00009-9zbMath0959.03006MaRDI QIDQ1577480
Publication date: 4 January 2001
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
interpolationfragments of propositional logicfragments of intuitionistic logicautomated model checking
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