On completeness theorems for feature logics

DOI10.1007/BF02451553zbMath0866.03027MaRDI QIDQ1353907

M. Andrew Moshier

Publication date: 12 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

completenesscut eliminationsequent calculussemanticsinformation systemsKripke structuresdomain of descriptionsfeature structures

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• An algebraic approach to non-classical logics
• The logic of unification in grammar
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On completeness theorems for feature logics