An institution-independent proof of Craig interpolation theorem
type: Item
instance of: scholarly article
title: An institution-independent proof of Craig interpolation theorem
zbMATH Open document ID: 1048.03026
author: Răzvan Diaconescu
published in: Studia Logica
publication date: 2004-08-16T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 2091570
zbMATH Keywords: interpolation
zbMATH Keywords: axiomatizability
zbMATH Keywords: institutions
zbMATH Keywords: algebraic specification
describes a project that uses: CASL
MaRDI profile type: Publication
full work available at URL: b:stud.0000034185.62660.d6
OpenAlex ID: W2005494456
DOI: 10.1023/B:STUD.0000034185.62660.D6
description: scientific article; zbMATH DE number 2091570