Independence Friendly Logic, Syntactics and Game Semantics

Please enable javascript in your browser.

Paksima, Hamid | 2016

404 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 48651 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Ardeshir, Mohammad
Abstract:
IF Logic is an extension of First-Order logic, including syntactic connective ’/’ (independence indicator) which carries the concept of ’independent from’ in language and metalanguage.This logic which has introduced by Hintikka and Sandu in 1989, uses Game-theoretical semantics (GTS) such that every formula is defined as a game and the players are verifier and falsifier of its truth. The formula is True if the verifier has a winning-strategy and it is False where the falsifier has a winning-strategy; and evaluated as indeterminate otherwise. this relates a central concept of logic (truth) to a central concept of game theory(winningstrategy)
Keywords:
Game Theory ; Correctness ; Winning Strategy ; F-Logic ; Compositionality