LinearOne

Code

Abstract

Linear logic

Type-logical grammar

swi prolog

Proof net

displacement calculus grammars

latex

theorem proving

first order logic

logic programming

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

url

Find in HALView

url

Code RepositoryView

1 Record Views

Title: LinearOne
Creators - without role: Richard Moot - Exploration et exploitation de données textuelles
Identifiers: 9945503509311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Code
Local Fields: hal-02101382