A Local System for Classical Logic
From MaRDI portal
Publication:2996175
DOI10.1007/3-540-45653-8_24zbMath1275.03150MaRDI QIDQ2996175
Publication date: 6 May 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45653-8_24
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Deep sequent systems for modal logic, MELL in the calculus of structures, On structuring proof search for first order linear logic, Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic