Contextual Natural Deduction

DOI10.1007/978-3-642-35722-0_27MaRDI QIDQ3455860zbMATH OpenOpenAlexFDO

Authors Bruno Woltzenlogel Paleo

Publication date 11 December 2015

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35722-0_27

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Recommendations

• Natural deduction and context as (constructive) modality
• scientific article; zbMATH DE number 1754692
• Contextual deduction theorems
• Naturalizing natural deduction
• Natural deduction in normal modal logic
• scientific article; zbMATH DE number 575583
• Natural deduction in a paracomplete setting
• Natural deduction
• Natural Deduction for Hybrid Logic
• A natural extension of natural deduction

Cites work

• A Local System for Intuitionistic Logic
• A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
• An Algorithmic Interpretation of a Deep Inference System
• Atomic cut introduction by resolution: proof structuring and compression
• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 963644 (Why is no real title available?)
• On Lazy Commutation
• On the proof complexity of deep inference
• Sledgehammer: judgement day
• Towards Algorithmic Cut-Introduction
• Untersuchungen über das logische Schliessen. I

Cited in

(5)

• The calculus of natural calculation
• scientific article; zbMATH DE number 5872217 (Why is no real title available?)
• Implementation and evaluation of contextual natural deduction for minimal logic
• scientific article; zbMATH DE number 2015404 (Why is no real title available?)
• Automated Deduction – CADE-20

Describes a project that uses

Uses Software

• Sledgehammer

This page was built for publication: Contextual Natural Deduction

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