Product logic and probabilistic Ulam games

被引：7

作者：

Montagna, Franco ^{[1
]}

Marini, Claudio ^{[1
]}

Simi, Giulia ^{[1
]}

机构：

[1] Univ Siena, Dept Math & Comp Sci, I-53100 Siena, Italy

来源：

FUZZY SETS AND SYSTEMS | 2007年 / 158卷 / 06期

关键词：

many-valued logic; game semantics; Renyi-Ulam game; probabilistic games; product logic;

D O I：

10.1016/j.fss.2006.11.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：639 / 651

页数：13

共 14 条

[1] Varieties of BL-algebras I: general properties [J].

Agliano, P ;

Montagna, F .

JOURNAL OF PURE AND APPLIED ALGEBRA, 2003, 181 (2-3) :105-129

[2]

[Anonymous], MEM AM MATH SOC

[3]

Burris S., 1981, GRADUATE TEXTS MATH

[4]

Ciabattoni A., 2004, LECT NOTES COMPUT SC, P496

[5]

CICALESE F, 2005, IN PRESS P 1 IND C L

[6]

Cignoli R., 2000, MULTIPLE VALUED LOGI, V5, P45

[7]

Cox DA, 1996, IDEALS VARIETIES ALG

[8]

Ferreirim I.M.A., 1992, THESIS U ILLINOIS CH

[9] Observations on the monoidal t-norm logic [J].

Hájek, P .

FUZZY SETS AND SYSTEMS, 2002, 132 (01) :107-112

[10]

Hajek P., 1998, TR LOG STUD LOG LIB, V4

← 1 2 →