Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops

Sándor Jenei, Franco Montagna. Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. In Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra, editors, Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Volume 4460 of Lecture Notes in Computer Science, pages 231-246, Springer, 2006. [doi]

Abstract

Abstract is missing.