ACL RD-TEC 1.0 Summarization of J89-2004
Paper Title:
ON THE LOGIC OF CATEGORY DEFINITIONS
ON THE LOGIC OF CATEGORY DEFINITIONS
Primarily assigned technology terms:
Other assigned terms:
- axioms
- case
- category structure
- cognitive
- cognitive science
- decidability
- fact
- feature
- finite set
- frame
- interpretation
- linguistics
- logic
- maps
- method
- modal logic
- priori
- procedure
- proposition
- propositions
- reflexive and transitive closure
- relation
- theoremhood
- transitive closure
- tree
- trees