Hyper natural deduction

DOI10.1109/LICS.2015.57zbMATH Open1394.03068OpenAlexW1488351281MaRDI QIDQ4635835FDOQ4635835

Authors: Arnold Beckmann, Norbert Preining 

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2015.57

Recommendations

• Hyper natural deduction for Gödel logic -- a natural deduction system for parallel reasoning
• A natural extension of natural deduction
• Semantic investigation of canonical Gödel hypersequent systems
• Natural deduction for first-order hybrid logic
• scientific article; zbMATH DE number 3275554

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Cited In (5)

• Two natural deduction systems for hybrid logic: A comparison
• Hyper natural deduction for Gödel logic -- a natural deduction system for parallel reasoning
• On the concurrent computational content of intermediate logics
• What Are the Advantages of Hyperproof-like Reasoning Systems?
• A natural extension of natural deduction

This page was built for publication: Hyper natural deduction

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