Hyper natural deduction

DOI10.1109/LICS.2015.57MaRDI QIDQ4635835zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(5)

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

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)