Hyper natural deduction for Gödel logic -- a natural deduction system for parallel reasoning

DOI10.1093/LOGCOM/EXY019MaRDI QIDQ4612437zbMATH OpenOpenAlexFDO

Authors Arnold Beckmann, Norbert Preining

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exy019

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Hyper natural deduction
• Gödel logic. From natural deduction to parallel computation
• Ultimate Normal Forms for Parallelized Natural Deductions
• Semantic investigation of canonical Gödel hypersequent systems
• Hypersequent Calculi for Godel Logics -- a Survey

Cited in

(4)

• Hyper natural deduction
• On the concurrent computational content of intermediate logics
• Gödel logic. From natural deduction to parallel computation
• scientific article; zbMATH DE number 7594098 (Why is no real title available?)

This page was built for publication: Hyper natural deduction for Gödel logic -- a natural deduction system for parallel reasoning

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