Resource-distribution via Boolean constraints

DOI10.1007/3-540-63104-6_21zbMath1422.03129OpenAlexW1596469673MaRDI QIDQ5234703

James Harland, David J. Pym

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_21

zbMATH Keywords

sequent calculuslinear logicproof treeBoolean expressionBoolean variable

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Proof-search in type-theoretic languages: An introduction

Uses Software

• Lolli

Cites Work

• Linear logic
• Logic programming in a fragment of intuitionistic linear logic
• Proof strategies in linear logic
• On proof normalization in linear logic
• Untersuchungen über das logische Schliessen. I
• Logic Programming with Focusing Proofs in Linear Logic
• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• Unnamed Item