Логика типизированных признаков

This paper considers three assumptions conventionally made about signatures in typed feature logic that are in po- tential disagreement with current prac- tice among grammar developers and linguists working within …...

This paper provides a method for generat- ing compact and efficient code to imple- ment the enforcement of a description in typed feature logic. It does so by view- ing …...