On geometry of interaction for polarized linear logic

DOI10.1017/S0960129517000196zbMath1456.03098arXiv1503.00886OpenAlexW2963520450MaRDI QIDQ4961719

Masahiro Hamano, Philip J. Scott

Publication date: 25 October 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Scott model of linear logic is the extensional collapse of its relational model
• Linear logic
• A categorical model for the geometry of interaction
• A categorical semantics for polarized MALL
• Focusing and polarization in linear, intuitionistic, and classical logics
• Glueing and orthogonality for models of linear logic
• The uniformity principle on traced monoidal categories
• Focussing and proof construction
• Locus Solum: From the rules of logic to the logic of rules
• The Blind Spot
• Towards a typed Geometry of Interaction
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• Traced monoidal categories
• A phase semantics for polarized linear logic and second order conservativity
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives
• A multi-focused proof system isomorphic to expansion proofs

This page was built for publication: On geometry of interaction for polarized linear logic