A constructive proof of Craig's interpolation lemma for m-valued logic
type: Item
instance of: scholarly article
title: A constructive proof of Craig's interpolation lemma for m-valued logic
zbMATH Open document ID: 0442.03023
DOI: 10.1007/BF00405385
author: Anita Wasilewska
published in: Studia Logica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03F65
zbMATH DE Number: 3689367
zbMATH Keywords: Craig's interpolation theorem
zbMATH Keywords: m-valued predicate calculi
zbMATH Keywords: Gentzen type formalization
MaRDI profile type: Publication
Wikidata QID: Q124839068
cites work: Q5668434
cites work: Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them
description: scientific article; zbMATH DE number 3689367