Rényi-Ulam game semantics for product logic and for the logic of cancellative hoops
Authors:
Sándor Jenei;Franco Montagna
Affiliations:
Institute of Mathematics and Informatics, University of Pécs, Pécs, Hungary;Department of Mathematics and Computer Science, University of Siena, Siena, Italy
Venue:
Algebraic and proof-theoretic aspects of non-classical logics