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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n19http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/projekt/
n17http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
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#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F07%3A00003611%21RIV08-AV0-15310___/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F07%3A00003611%21RIV08-AV0-15310___
rdf:type
skos:Concept n17:Vysledek
dcterms:description
Práce představuje prahovou logiku, která používá vícehodnotové prahy a dvouhodnotový pojem sémantického vyplývání a klasickou dokazatelnost. Dokážeme úplnost logiky, zabýváme se podobností, vztahem k dalším logikám, a ukážeme charakterizaci elementárních tříd fuzzy struktur pomocí uzávěrových vlastností. The paper introduces threshold Boolean logic which uses multiple-valued threshold truth degrees and bivalent (two-valued) notions of semantic and syntactic entailment. We prove completeness, discuss equality and similarity issues, show connections to other logics, and characterize elementary classes of models by closure properties. The paper introduces threshold Boolean logic which uses multiple-valued threshold truth degrees and bivalent (two-valued) notions of semantic and syntactic entailment. We prove completeness, discuss equality and similarity issues, show connections to other logics, and characterize elementary classes of models by closure properties.
dcterms:title
Threshold Boolean logic Threshold Boolean logic Prahová booleovská logika
skos:prefLabel
Threshold Boolean logic Threshold Boolean logic Prahová booleovská logika
skos:notation
RIV/61989592:15310/07:00003611!RIV08-AV0-15310___
n3:strany
59-78
n3:aktivita
n13:P n13:Z
n3:aktivity
P(KJB1137301), Z(MSM6198959214)
n3:cisloPeriodika
1
n3:dodaniDat
n11:2008
n3:domaciTvurceVysledku
n18:1236784
n3:druhVysledku
n14:J
n3:duvernostUdaju
n16:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
455152
n3:idVysledku
RIV/61989592:15310/07:00003611
n3:jazykVysledku
n7:eng
n3:klicovaSlova
Boolean logic; Threshold; Fuzzy Structure
n3:klicoveSlovo
n4:Boolean%20logic n4:Threshold n4:Fuzzy%20Structure
n3:kodStatuVydavatele
GB - Spojené království Velké Británie a Severního Irska
n3:kontrolniKodProRIV
[435ADE5B0E2D]
n3:nazevZdroje
International Journal of General Systems
n3:obor
n15:BD
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n8:KJB1137301
n3:rokUplatneniVysledku
n11:2007
n3:svazekPeriodika
36
n3:tvurceVysledku
Vychodil, Vilém
n3:zamer
n10:MSM6198959214
s:issn
0308-1079
s:numberOfPages
20
n19:organizacniJednotka
15310