Giles's game and the proof theory of Łukasiewicz logic

From MaRDI portal
Publication:1037588

DOI10.1007/s11225-009-9185-2zbMath1185.03041OpenAlexW2168945720MaRDI QIDQ1037588

Christian G. Fermüller, George Metcalfe

Publication date: 16 November 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9185-2




Related Items (12)



Cites Work




This page was built for publication: Giles's game and the proof theory of Łukasiewicz logic