scientific article; zbMATH DE number 7559288

DOI10.4230/LIPIcs.FSCD.2019.22MaRDI QIDQ5089024

Willem Heijltjes, Lutz Straßburger, Dominic J. D. Hughes

Publication date: 18 July 2022

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

zbMATH Keywords

first-order logiclinear logicproof netsHerbrand's theorem

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (1)

Combinatorial flows as bicolored atomic flows

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Classical proof forestry
• A compact representation of proofs
• The structure of multiplicatives
• Proofs without syntax
• Propositions as sessions
• The structure of first-order causality
• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
• Session Types as Intuitionistic Linear Propositions
• A Sequent Calculus with Implicit Term Representation
• On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
• Sequentiality vs. concurrency in games and logic
• Conflict nets
• Unification nets
• Proof nets for unit-free multiplicative-additive linear logic
• A Characterization of Medial as Rewriting Rule
• Parsing MELL proof nets

This page was built for publication: