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.
CITATION STYLE
Francez, N. (1999). On fibring feature logics with concatenation logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1582, pp. 200–211). Springer Verlag. https://doi.org/10.1007/3-540-48975-4_10
Mendeley helps you to discover research relevant for your work.