Focused natural deduction

DOI10.1007/978-3-642-16242-8_12MaRDI QIDQ4933303zbMATH OpenOpenAlexFDO

Authors Taus Brock-Nannestad, Carsten Schürmann

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)

Recommendations

• scientific article; zbMATH DE number 1342286
• Structural focalization
• Focusing and polarization in linear, intuitionistic, and classical logics
• Focusing and Polarization in Intuitionistic Logic
• The focused calculus of structures

Cited in

(10)

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• The polarized \(\lambda\)-calculus
• Varieties of linear calculi
• Natural deduction bottom up
• Focused and Synthetic Nested Sequents
• Structural focalization
• Multi-focused cut elimination
• Commentary and illocutionary expressions in linear calculi of natural deduction
• Cut elimination in multifocused linear logic
• Normalization by evaluation for the lambek calculus

This page was built for publication: Focused natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4933303)