An Algorithmic Interpretation of a Deep Inference System

DOI10.1007/978-3-540-89439-1_34MaRDI QIDQ5505576zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Interpretability in Deep Learning
• Logical Approaches to Computational Barriers
• A System of Interaction and Structure II: The Need for Deep Inference
• Algorithmic learning and deep neural networks
• On the proof complexity of deep inference
• Deep neural networks for estimation and inference
• A formal proof of the expressiveness of deep learning
• A formal proof of the expressiveness of deep learning

Cited in

(10)

• Spinal atomic \(\lambda\)-calculus
• True concurrency of deep inference proofs
• Linear lambda calculus and deep inference
• Implementation and evaluation of contextual natural deduction for minimal logic
• Contextual Natural Deduction
• Type similarity for the Lambek-Grishin calculus revisited
• Maude as a platform for designing and implementing deep inference systems
• A deep inference system with a self-dual binder which is complete for linear lambda calculus
• A deep quantitative type system
• Cut elimination inside a deep inference system for classical predicate logic

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

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