scientific article; zbMATH DE number 6876270

DOI10.23638/LMCS-14(2:7)2018zbMath1476.03084arXiv1403.3772MaRDI QIDQ4643962

Christophe Fouqueré, Myriam Quatrini

Publication date: 30 May 2018

Full work available at URL: https://arxiv.org/abs/1403.3772

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicnormalizationgame semanticsLudicsincarnation

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

An interpretation of CCS into ludics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Imperative programs as proofs via game semantics
• A linear algorithm for MLL proof net correctness and sequentialization
• Computational ludics
• Linear logic
• Interactive observability in Ludics: the geometry of tests
• Non-commutative logic. III: Focusing proofs.
• Non-commutative logic. I: The multiplicative fragment
• Locus Solum: From the rules of logic to the logic of rules
• Incarnation in Ludics and maximal cliques of paths
• Ludics with repetitions (Exponentials, Interactive types and Completeness)
• Game semantics for first-order logic
• On the meaning of logical completeness
• The Mathematics of Sentence Structure
• Quantales and (noncommutative) linear logic
• Ludics and Its Applications to Natural Language Semantics
• Games and full completeness for multiplicative linear logic
• Non-commutative logic II: sequent calculus and phase semantics
• Interaction Graphs
• Proof nets and explicit substitutions
• Ludics and Natural Language: First Approaches
• Proof nets for unit-free multiplicative-additive linear logic
• Computer Science Logic

This page was built for publication: