scientific article
From MaRDI portal
Publication:4010365
zbMath0759.03016MaRDI QIDQ4010365
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessKripke modelsintuitionistic logicaxiomatic systemsmaximal consistent setspath equationslogics of feature structures
Other nonclassical logic (03B60) Logic of natural languages (03B65) Natural language processing (68T50)
Related Items
Some formal properties of stratified feature grammars ⋮ On completeness theorems for feature logics ⋮ A complete and recursive feature theory
