Product logic and probabilistic Ulam games
详细信息 查看全文
- 作者：Franco Montagna ; Claudio Marini ; Giulia Simi
- 关键词：Many-valued logic ; Game semantics ; Ré ; nyi– ; Ulam game ; Probabilistic games ; Product logic
- 刊名：Fuzzy Sets and Systems
- 出版年：2007
- 出版时间：16 March 2007
- 年：2007
- 卷：158
- 期：6
- 页码：639-651
- 全文大小：218 K
文摘
There is a well-known game semantics for Lukasiewicz logic, introduced by Daniele Mundici, namely the Rényi–Ulam game. Records in a Rény–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 Rényi–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 ΠMTL and product logic.