Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Stellar Resolution: Multiplicatives - for the linear logician, through examples

Abstract : The stellar resolution is an asynchronous model of computation used in Girard's Transcendental Syntax which is based of Robinson's resolution. Similarly to classical realisability, we obtain a new model of linear logic with computational objects as its foundation: proofs, cut-elimination, formulas/types, correctness and provability are reconstructed very naturally. In this paper, we investigate the case of the multiplicative fragment of linear logic.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02977750
Contributor : Boris Eng <>
Submitted on : Sunday, October 25, 2020 - 11:36:51 PM
Last modification on : Wednesday, October 28, 2020 - 3:25:38 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02977750, version 1

Collections

Citation

Boris Eng. Stellar Resolution: Multiplicatives - for the linear logician, through examples. 2020. ⟨hal-02977750⟩

Share

Metrics

Record views

41

Files downloads

80