scientific article; zbMATH DE number 7441262

zbMath1483.03034arXiv1701.04915MaRDI QIDQ5014803

Quentin Heath, Dale A. Miller

Publication date: 8 December 2021

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Uses Software

• Bedwyr

Cites Work

• Unnamed Item
• Linear logic
• Cut-elimination for a logic with definitions and induction
• Untersuchungen über das logische Schliessen. I
• Petri nets, Horn programs, linear logic and vector games
• Cut elimination for a logic with induction and co-induction
• Proof search specifications of bisimulation and modal logics for the π-calculus
• The Beginning of Model Checking: A Personal Perspective
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• A proof theory for generic judgments
• Least and Greatest Fixed Points in Linear Logic