Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
type: Item
instance of: scholarly article
title: Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
zbMATH Open document ID: 0959.03006
DOI: 10.1016/S0168-0072(00)00009-9
author: Alex Hendriks
published in: Annals of Pure and Applied Logic
publication date: 2001-01-04T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03C50
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 1501503
zbMATH Keywords: automated model checking
zbMATH Keywords: fragments of intuitionistic logic
zbMATH Keywords: fragments of propositional logic
zbMATH Keywords: interpolation
MaRDI profile type: Publication
cites work: Q4077987
cites work: Q4347145
cites work: Intuitionistic propositional logic with only equivalence has no interpolation
cites work: Q4896508
cites work: Computations in fragments of intuitionistic propositional logic
cites work: Q5623682
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Interpolation and amalgamation properties in varieties of equivalential algebras
cites work: Interpolation in fragments of intuitionistic propositional logic
cites work: Der Interpolationssatz der intuitionistischen Prädikatenlogik
cites work: Q4716271
description: scientific article; zbMATH DE number 1501503