Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning

DOI10.1093/logcom/exy019zbMath1444.03094OpenAlexW2883365390MaRDI QIDQ4612437

Norbert Preining, Arnold Beckmann

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)

Related Items (1)

On the concurrent computational content of intermediate logics

This page was built for publication: Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning