search

RichardMoot / LinearOne

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
GNU Lesser General Public License v2.1
18 stars 2 forks source link

Add support for features #24

Closed RichardMoot closed 9 years ago

RichardMoot commented 9 years ago

One of the most basic applications of first-order linear logic is its application for linguistic features such as Case, Gender, Number etc. Though this is easily implemented in first-order linear logic itself, it would be useful to add the possibility of incorporating features into the translation functions for the Displacement calculus and hybrid type-logical grammars

RichardMoot commented 9 years ago

Rudimentary support for features added. Unsure at the moment how to integrate more complex patterns (such as the non-associativity of Moot, 2014); this will require a more complicated strategy.