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

DOI10.1093/LOGCOM/EXY019zbMATH Open1444.03094OpenAlexW2883365390MaRDI QIDQ4612437FDOQ4612437

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Hyper natural deduction
• Gödel logic. From natural deduction to parallel computation
• On the concurrent computational content of intermediate logics
• Title not available (Why is that?)

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)