Loading...
  1. Simple search
  2. Search result
Search for: f-logic
0.057 seconds
Total 1 records

      Independence Friendly Logic, Syntactics and Game Semantics

      , M.Sc. Thesis Sharif University of Technology Paksima, Hamid (Author) ; Ardeshir, Mohammad (Supervisor)
      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)  
    Total 1 records