National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Logical games and truth values
Majer, Ondrej
Formal game theory allows for an alternative view on logical systems: we can see verification of a certain statement as a game - formalized dialogue of two players. The rules of the game correspond to the properties of the system in the framework of which the statement is formalized. The article deals with the relation between properties of logical games and the number of truth values of the corresponding logical systems.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.