An Algorithmic Interpretation of a Deep Inference System

DOI10.1007/978-3-540-89439-1_34zbMath1182.03104OpenAlexW1551908220MaRDI QIDQ5505576

Kai Brünnler, Richard McKinley

Publication date: 27 January 2009

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

Full work available at URL: https://boris.unibe.ch/37187/1/bm08.pdf

Mathematics Subject Classification ID

Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Contextual Natural Deduction ⋮ Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic ⋮ Spinal atomic \(\lambda\)-calculus ⋮ Linear Lambda Calculus and Deep Inference ⋮ Type Similarity for the Lambek-Grishin Calculus Revisited

This page was built for publication: An Algorithmic Interpretation of a Deep Inference System