A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

DOI10.1007/978-3-642-40537-2_16zbMath1401.03098OpenAlexW1864804309MaRDI QIDQ2851943

Zhé Hóu, Rajeev Goré, Alwen Tiu

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/391157

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Free-variable semantic tableaux for the logic of fuzzy inequalities ⋮ Automated Theorem Proving for Assertions in Separation Logic with All Connectives ⋮ Proof tactics for assertions in separation logic

Uses Software

• Pesca

This page was built for publication: A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search