DOI10.1109/LICS.2015.57zbMath1394.03068MaRDI 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)
Mathematics Subject Classification ID
03B50: Many-valued logic
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items