Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

28 November 2005, Logic and Game reading group, Special Event, Ondrej Majer

Speaker: Ondrej Majer (Prague)
Title: Evaluation Games for Fuzzy Logics
Date: 28 November 2005
Time: 16:30-17:30
Location: P3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam

The aim of the contribution is to provide two kinds of game theoretical semantics for fuzzy logics with special attention to Lukasiewicz logic. The first one of the proposed semantics is a generalization of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fuzzy logics as, unlike the standard semantics, it can deal with so called non-safe models. The second kind of semantics makes explicit the intuition about fuzzy logics as logics of partial truth and provides a semantics in the form of a non zero sum game (bargaining fuzzy game). Finally a basic kind of information independence logic is introduced and the differences from the classical IF logic are discussed.

For more information, contact

Please note that this newsitem has been archived, and may contain outdated information or links.