On completeness theorems for feature logics
type: Item
instance of: scholarly article
title: On completeness theorems for feature logics
zbMATH Open document ID: 0866.03027
DOI: 10.1007/BF02451553
author: M. Andrew Moshier
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-12T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1005790
zbMATH Keywords: domain of descriptions
zbMATH Keywords: sequent calculus
zbMATH Keywords: feature structures
zbMATH Keywords: completeness
zbMATH Keywords: Kripke structures
zbMATH Keywords: cut elimination
zbMATH Keywords: information systems
zbMATH Keywords: semantics
MaRDI profile type: Publication
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: Q3791120
cites work: The logic of unification in grammar
cites work: Q4010365
cites work: An algebraic approach to non-classical logics
cites work: Q4079581
cites work: Q3959414
description: scientific article; zbMATH DE number 1005790