Topic: "proof-net"
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Language: Prolog - Size: 563 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 2
konstantinosKokos/spindle
🕸️ An end-to-end neurosymbolic parser for Dutch.
Language: Python - Size: 105 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 1
RichardMoot/Grail
Grail is a theorem prover for multimodal type-logical grammars
Language: Prolog - Size: 2.01 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2
konstantinosKokos/aethel
A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar.
Language: Python - Size: 32.8 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3
kovvalsky/prove_SICK_NL
Prove Ducth NLI problems of SICK-NL with LangPro
Language: Prolog - Size: 68.4 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 3 - Forks: 1
konstantinosKokos/neural-proof-nets 📦
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
Language: Python - Size: 239 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
RichardMoot/richardmoot.github.io
Richard Moot's personal homepage
Size: 5.2 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0