Journal
FUZZY SETS AND SYSTEMS
Volume 158, Issue 6, Pages 639-651Publisher
ELSEVIER
DOI: 10.1016/j.fss.2006.11.007
Keywords
many-valued logic; game semantics; Renyi-Ulam game; probabilistic games; product logic
Ask authors/readers for more resources
There is a well-known game semantics for Lukasiewicz logic, introduced by Daniele Mundici, namely the Renyi-Ulam game. Records in a Reny-Ulam game are coded by functions, which constitute an MV-algebra, and it is possible to prove a completeness theorem with respect to this semantics. In this paper we investigate some probabilistic variants of the Renyi-Ulam game, and we prove that some of them constitute a complete game semantics for product logic, whilst some other constitute a game semantics for a logic between Pi MTL and product logic. (C) 2006 Elsevier B.V. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available