1997
On the direction of fibring feature logics with concatenation logics
Publication
Publication
A dual-fibring of a feature-logic and a concatenation-logic is proposed, in which syntactic categorial types ``live in'' feature terms, in contrast to current fibring, in which feature-terms ``live in'' types. The dual-fibring contains also arrow-introduction rules for hypothetical reasoning. It is used to explain some ``privileged features'' in HPSG and their non-unification manipulation.
Additional Metadata | |
---|---|
, , | |
CWI | |
Information Systems [INS] | |
Francez, N. (1997). On the direction of fibring feature logics with concatenation logics. Information Systems [INS]. CWI. |