Contextual Natural Deduction

DOI10.1007/978-3-642-35722-0_27zbMath1437.03045OpenAlexW2260023491MaRDI QIDQ3455860

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)

Related Items (1)

Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic

Uses Software

• Sledgehammer

Cites Work

• Unnamed Item
• Higher-order rewrite systems and their confluence
• Untersuchungen über das logische Schliessen. I
• Towards Algorithmic Cut-Introduction
• On the proof complexity of deep inference
• A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
• Atomic Cut Introduction by Resolution: Proof Structuring and Compression
• On Lazy Commutation
• A Local System for Intuitionistic Logic
• An Algorithmic Interpretation of a Deep Inference System
• Sledgehammer: Judgement Day

This page was built for publication: Contextual Natural Deduction