Features and Formulae

Mark Johnson

26 citations0/0 files stored

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Syntax, Semantics, Linguistic Variation Logic, Reasoning, and Knowledge semigroups and automata theory

Abstract

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.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 26 citations exist upstream.

References

1985The mental representation of grammatical relations . Edited by Joan Bresnan. Cambridge, MA: MIT Press, 1982. Pp. 874. $35.00.1989Generalized Phrase Structure Grammar.2013A Theory of Truth and Semantic Representation 1987Information-based syntax and semantics 1986An introduction to unification-based approaches to grammar 1986A logical semantics for feature structures 1986Categorial unification grammars 1991A Method for Disjunctive Constraint Satisfaction

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.