Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

Matteo Acclavio

doi:10.1007/s10817-018-9466-4

Journal Articles Journal of Automated Reasoning Year : 2018

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

(1)

1

Matteo Acclavio

Function : Author
PersonId : 170148
IdHAL : matteo-acclavio
ORCID : 0000-0002-0425-2825
IdRef : 223496944

Proof search and reasoning with logic specifications

Domains

Computer Science [cs]

Matteo Acclavio : Connect in order to contact the contributor

https://hal.science/hal-01931400

Submitted on : Thursday, November 22, 2018-5:17:36 PM

Last modification on : Thursday, August 1, 2024-5:08:02 PM

Dates and versions

hal-01931400 , version 1 (22-11-2018)

Identifiers

HAL Id : hal-01931400 , version 1
ARXIV : 1702.00268
DOI : 10.1007/s10817-018-9466-4

Cite

Matteo Acclavio. Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9466-4⟩. ⟨hal-01931400⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE

33 View

0 Download

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share