A Local System for Intuitionistic Logic

DOI10.1007/11916277_17MaRDI QIDQ5387896zbMATH OpenOpenAlexFDO

Authors Alwen Tiu

Publication date 27 May 2008

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

Full work available at URL https://doi.org/10.1007/11916277_17

zbMATH Keywords

proof theoryintuitionistic logiclocalityintermediate logicsdeep inferencecalculus of structures

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Structure of proofs (03F07)

Recommendations

• Symmetric normalisation for intuitionistic logic
• A Local System for Classical Logic
• scientific article; zbMATH DE number 1980939
• Locality for classical logic
• Admissibility of structural rules for contraction-free systems of intuitionistic logic

Cited in

(21)

• Locality for classical logic
• Subformula linking for intuitionistic logic with application to type theory
• scientific article; zbMATH DE number 522843 (Why is no real title available?)
• scientific article; zbMATH DE number 5592264 (Why is no real title available?)
• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Contextual Natural Deduction
• System BV is NP-complete
• Deep inference in proof search: the need for shallow inference
• Maude as a platform for designing and implementing deep inference systems
• Symmetric normalisation for intuitionistic logic
• Implementation and evaluation of contextual natural deduction for minimal logic
• Local soundness for QBF calculi
• A deep quantitative type system
• A logical basis for quantum evolution and entanglement
• Deep Inference in Bi-intuitionistic Logic
• scientific article; zbMATH DE number 1980939 (Why is no real title available?)
• A locality principle for system theory.
• The flower calculus
• A Local System for Classical Logic
• Spinal atomic \(\lambda\)-calculus
• scientific article; zbMATH DE number 432702 (Why is no real title available?)

This page was built for publication: A Local System for Intuitionistic Logic

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