"Z(AV0Z90090514)" . "[C9C8477BD5D1]" . "Praha" . "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."@en . . "Form\u00E1ln\u00ED teorie her umo\u017E\u0148uje zkoumat logiku z netradi\u010Dn\u00E1 perspektivy. Zkoum\u00E1n\u00ED pravdivosti ur\u010Dit\u00E9ho tvrzen\u00ED lze ch\u00E1pat jako hru - formalizovanou polemiku dvou hr\u00E1\u010D\u016F. Pravidla hry pak odpov\u00EDdaj\u00ED logick\u00E9mu syst\u00E9mu, v jeho\u017E r\u00E1mci je tvrzen\u00ED formulov\u00E1no. \u010Cl\u00E1nek se zab\u00FDv\u00E1 vztahem mezi vlastnostmi logick\u00FDch her a dvoj resp. v\u00EDcehodnotovosti odpov\u00EDdaj\u00EDc\u00EDch logick\u00FDch syst\u00E9m\u016F."@cs . "Praha" . . "Form\u00E1ln\u00ED teorie her umo\u017E\u0148uje zkoumat logiku z netradi\u010Dn\u00E1 perspektivy. Zkoum\u00E1n\u00ED pravdivosti ur\u010Dit\u00E9ho tvrzen\u00ED lze ch\u00E1pat jako hru - formalizovanou polemiku dvou hr\u00E1\u010D\u016F. Pravidla hry pak odpov\u00EDdaj\u00ED logick\u00E9mu syst\u00E9mu, v jeho\u017E r\u00E1mci je tvrzen\u00ED formulov\u00E1no. \u010Cl\u00E1nek se zab\u00FDv\u00E1 vztahem mezi vlastnostmi logick\u00FDch her a dvoj resp. v\u00EDcehodnotovosti odpov\u00EDdaj\u00EDc\u00EDch logick\u00FDch syst\u00E9m\u016F." . "Logick\u00E9 hry a pravdivostn\u00ED hodnoty"@cs . . "Logick\u00E9 hry a pravdivostn\u00ED hodnoty"@cs . "Hra, v\u011Bda a filosofie" . "80-7007-222-9" . . "Logick\u00E9 hry a pravdivostn\u00ED hodnoty" . "Majer, Ondrej" . "2004-11-04+01:00"^^ . "logic; game theory; many-valued logics"@en . . . "10"^^ . "RIV/67985955:_____/06:00047427" . . "Logick\u00E9 hry a pravdivostn\u00ED hodnoty" . "RIV/67985955:_____/06:00047427!RIV07-AV0-67985955" . . . "Filosofia" . . . "231;240" . . . "Logical games and truth values"@en . "483539" . . . "Logical games and truth values"@en . . "1"^^ . "1"^^ .