Skip to Main content Skip to Navigation
Conference papers

Totally linear proofs

Abstract : We show a proof system for propositional classical logic where all the inference rules are linear and there are no unit equations. There is no creation and no destruction inside derivations at all.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271417
Contributor : Isabelle Gouat <>
Submitted on : Friday, June 25, 2021 - 5:03:46 PM
Last modification on : Friday, June 25, 2021 - 7:11:57 PM

File

TLLA_2021_paper_14.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : lirmm-03271417, version 1

Collections

Citation

Victoria Barrett, Alessio Guglielmi. Totally linear proofs. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271417⟩

Share

Metrics

Record views

54

Files downloads

15