Features and formulae

Research output: Contribution to journalArticlepeer-review

20 Downloads (Pure)


Feature structures are a representational device used in several current linguistic theories. This paper shows how these structures can be axiomatized in a decidable class of first-order logic, which can also be used to express constraints on these structures. Desirable properties, such as compactness and decidability, follow directly. Moreover, additional types of feature values, such as "set-valued" features, can be incorporated into the system simply by axiomatizing their properties.
Original languageEnglish
Pages (from-to)131-152
Number of pages22
JournalComputational Linguistics
Issue number2
Publication statusPublished - Jun 1991
Externally publishedYes

Bibliographical note

Copyright the Publisher 1991. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.


Dive into the research topics of 'Features and formulae'. Together they form a unique fingerprint.

Cite this