Phase Semantics for Linear Logic with Least and Greatest Fixed Points

Autor: De, Abhishek, Jafarrahmani, Farzad, Saurin, Alexis

Publikováno v: FSTTCS 2022-42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2022-42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2022, Chennai, India. pp.35:1--35:23, ⟨10.4230/LIPIcs.FSTTCS.2022.35⟩

The truth semantics of linear logic (i.e. phase semantics) is often overlooked despite having a wide range of applications and deep connections with several denotational semantics. In phase semantics, one is concerned about the provability of formula

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16de1d38ebbb5a6dae1e386be7718d27
https://hal.science/hal-04061582/document

Towards a Semantic Characterization of Cut-Elimination

Autor: Ciabattoni, Agata, Terui, Kazushige

Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 2006 Feb 01. 82(1), 95-119.

Externí odkaz: https://www.jstor.org/stable/20016769

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A completeness theorem for symmetric product phase spaces

Autor: Thomas Ehrhard

Publikováno v: The Journal of Symbolic Logic
The Journal of Symbolic Logic, 2004, 69 (2), pp.340-370
The Journal of Symbolic Logic, Association for Symbolic Logic, 2004, 69 (2), pp.340-370
J. Symbolic Logic 69, iss. 2 (2004), 340-370

In a previous work with Antonio Bucciarelli, we introduced indexed linear logic as a tool for studying and enlarging the denotational semantics of linear logic. In particular, we showed how to define new denotational models of linear logic using symm

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c45a2892a76189e771f78182c21d6ca
https://doi.org/10.2178/jsl/1082418530