This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n16http://purl.org/net/nknouf/ns/bibtex#
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/resource/domain/vavai/zamer/
n9https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985955%3A_____%2F06%3A00047427%21RIV07-AV0-67985955/
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n20http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985955%3A_____%2F06%3A00047427%21RIV07-AV0-67985955
rdf:type
skos:Concept n13:Vysledek
dcterms:description
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. Formální teorie her umožňuje zkoumat logiku z netradičná perspektivy. Zkoumání pravdivosti určitého tvrzení lze chápat jako hru - formalizovanou polemiku dvou hráčů. Pravidla hry pak odpovídají logickému systému, v jehož rámci je tvrzení formulováno. Článek se zabývá vztahem mezi vlastnostmi logických her a dvoj resp. vícehodnotovosti odpovídajících logických systémů. Formální teorie her umožňuje zkoumat logiku z netradičná perspektivy. Zkoumání pravdivosti určitého tvrzení lze chápat jako hru - formalizovanou polemiku dvou hráčů. Pravidla hry pak odpovídají logickému systému, v jehož rámci je tvrzení formulováno. Článek se zabývá vztahem mezi vlastnostmi logických her a dvoj resp. vícehodnotovosti odpovídajících logických systémů.
dcterms:title
Logické hry a pravdivostní hodnoty Logické hry a pravdivostní hodnoty Logical games and truth values
skos:prefLabel
Logické hry a pravdivostní hodnoty Logické hry a pravdivostní hodnoty Logical games and truth values
skos:notation
RIV/67985955:_____/06:00047427!RIV07-AV0-67985955
n3:strany
231;240
n3:aktivita
n11:Z
n3:aktivity
Z(AV0Z90090514)
n3:dodaniDat
n20:2007
n3:domaciTvurceVysledku
n10:2096609
n3:druhVysledku
n5:D
n3:duvernostUdaju
n15:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
483539
n3:idVysledku
RIV/67985955:_____/06:00047427
n3:jazykVysledku
n8:cze
n3:klicovaSlova
logic; game theory; many-valued logics
n3:klicoveSlovo
n6:many-valued%20logics n6:game%20theory n6:logic
n3:kontrolniKodProRIV
[C9C8477BD5D1]
n3:mistoKonaniAkce
Praha
n3:mistoVydani
Praha
n3:nazevZdroje
Hra, věda a filosofie
n3:obor
n14:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n20:2006
n3:tvurceVysledku
Majer, Ondrej
n3:typAkce
n18:CST
n3:zahajeniAkce
2004-11-04+01:00
n3:zamer
n19:AV0Z90090514
s:numberOfPages
10
n16:hasPublisher
Filosofia
n9:isbn
80-7007-222-9