LINK: a Proof Environment based on Proof nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

LINK: a Proof Environment based on Proof nets

Abstract

LINK is a proof environment including proof nets-based provers for multiplicative linear logics: mixed linear logic, or recently called non-commutative logic (MNL), commutative linear logic (MLL) and non-commutative (or cyclic) linear logic (MCyLL). Its main characteristic is the provability analysis through automatic proof nets construction that is a powerful alternative to deal with resource management in proof search. These provers can be also seen as implementations of new connection methods for these linear logic fragments.
Not file

Dates and versions

inria-00100791 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100791 , version 1

Cite

Luc Habert, Jean-Marc Notin, Didier Galmiche. LINK: a Proof Environment based on Proof nets. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX'02, 2002, Copenhagen, Denmark, pp.330-334. ⟨inria-00100791⟩
95 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More