Go to page
 

Bibliographic Metadata

Title
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers
AuthorHofer, Matthias ; Fermüller, Christian G.
Published in
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017), Novi Sad, Serbia, May 22-24, 2017, IEEE, 2017, page 106-111
Published2017
LanguageEnglish
Document typeArticle in a collected edition
Keywords (EN)game semantics / Hintikka / semi-fuzzy quantifiers
Project-/ReportnumberAustrian Science Fund (FWF): I1897-N25
ISBN9781509054961
URNurn:nbn:at:at-ubtuw:3-3471 Persistent Identifier (URN)
DOI10.1109/ISMVL.2017.57 
Restriction-Information
 The work is publicly available
Files
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers [0.27 mb]
Links
Reference
Classification
Abstract (English)

Extending Hintikkas game for the evaluation of classical formulas, we explore the realm of quantifier rules that can be defined by combining several moves consisting of choices by the two strategic players, but also by a third non-strategic player ‘Nature, representing random choices. The simple format of Hintikka-style games is compared to the seemingly much more general one of Giless game for Łukasiewicz logic.

Note
Note
Stats
The PDF-Document has been downloaded 20 times.