Hyper Natural Deduction

DOI10.1109/LICS.2015.57zbMath1394.03068OpenAlexW1488351281MaRDI QIDQ4635835

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)

Related Items (1)

On the concurrent computational content of intermediate logics

This page was built for publication: Hyper Natural Deduction