Focused Natural Deduction

DOI10.1007/978-3-642-16242-8_12zbMath1307.03034OpenAlexW1582190263MaRDI QIDQ4933303

Taus Brock-Nannestad, Carsten Schuermann

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_12

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (6)

Structural Focalization ⋮ Unnamed Item ⋮ Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ Multi-focused cut elimination ⋮ The polarized \(\lambda\)-calculus ⋮ Focused and Synthetic Nested Sequents

This page was built for publication: Focused Natural Deduction