proof-net

There are 1 repository under proof-net topic.

RichardMoot / LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
linear-logic first-order-logic theorem-proving proof-net displacement-calculus-grammars swi-prolog logic-programming latex
Language:Prolog 18
konstantinosKokos / spindle
A neurosymbolic parser for Dutch.
dutch lambda-calculus linear-logic neurosymbolic nlp-machine-learning nlp-parsing parser parsing proof-net supertagging
Language:Python 9
RichardMoot / Grail
Grail is a theorem prover for multimodal type-logical grammars
categorial-grammar logic-programming theorem-prover parser proof-net swi-prolog
Language:Prolog 9
konstantinosKokos / aethel
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
lassy type-logical-grammar categorial-grammar dutch linear-logic lambda-calculus alpino corpus natural-deduction proof-net aethel-dataset
Language:Python 4
konstantinosKokos / neural-proof-nets
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
sinkhorn prover linear-logic parser proof-net type-logical-grammar dutch lambda-calculus
Language:Python 3
kovvalsky / prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
dutch dutch-language nli natural-language-inference textual-entailment tableau-prover natural-logic theorem-prover theorem-proving neural-proof-net proof-net
Language:Prolog 3
RichardMoot / richardmoot.github.io
Richard Moot's personal homepage
first-order-logic lambda-calculus linear-logic logic logic-programming natural-language-processing natural-language-understanding proof-net theorem-proving
0