Skip to Main content Skip to Navigation
Reports

Filtering Axiom Links for Proof Nets

Abstract : An important problem for proving statements in multimodal categorial grammar is that even when using proof nets — which improve upon proof search in natural deduction and sequent calculus by identifying all equivalent proofs — the number of possible axiom links to consider is still enormous. We will propose several efficient strategies to reduce the number of axiom links and will evaluate the resulting combined strategy against a large number of statements in both multimodal and Lambek categorial grammars and find that we eliminate a very large number of the axiom links which do not correspond to any proof net.
Document type :
Reports
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/inria-00413332
Contributor : Richard Moot <>
Submitted on : Thursday, September 3, 2009 - 5:26:48 PM
Last modification on : Friday, November 6, 2020 - 11:42:27 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:10:35 PM

File

ax.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00413332, version 1

Collections

Citation

Richard Moot. Filtering Axiom Links for Proof Nets. [Research Report] INRIA; LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2008, pp.38. ⟨inria-00413332⟩

Share

Metrics

Record views

94

Files downloads

133