This HTML5 document contains 44 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/
n17http://localhost/temp/predkladatel/
n19http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/ontology/domain/vavai/
n13http://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#
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989592%3A15310%2F06%3A00002566%21RIV07-AV0-15310___/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989592%3A15310%2F06%3A00002566%21RIV07-AV0-15310___
rdf:type
n14:Vysledek skos:Concept
dcterms:description
Výsledky studia Hornovy logiky. The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style completeness theorem (degree of provability equals degree of truth) from which we get some particular cases by imposing restrictions on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic. The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style completeness theorem (degree of provability equals degree of truth) from which we get some particular cases by imposing restrictions on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic.
dcterms:title
Fuzzy Hornova logika I: důkaz teorie Fuzzy Horn logic I: proof theory Fuzzy Horn logic I: proof theory
skos:prefLabel
Fuzzy Horn logic I: proof theory Fuzzy Hornova logika I: důkaz teorie Fuzzy Horn logic I: proof theory
skos:notation
RIV/61989592:15310/06:00002566!RIV07-AV0-15310___
n3:strany
3-51
n3:aktivita
n7:Z n7:P
n3:aktivity
P(KJB1137301), Z(MSM6198959214)
n3:cisloPeriodika
1
n3:dodaniDat
n6:2007
n3:domaciTvurceVysledku
n15:1236784 n15:9623264
n3:druhVysledku
n9:J
n3:duvernostUdaju
n4:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
476577
n3:idVysledku
RIV/61989592:15310/06:00002566
n3:jazykVysledku
n16:eng
n3:klicovaSlova
Fuzzy Horn logic; proof theory
n3:klicoveSlovo
n10:Fuzzy%20Horn%20logic n10:proof%20theory
n3:kodStatuVydavatele
DE - Spolková republika Německo
n3:kontrolniKodProRIV
[C17A4F599B1C]
n3:nazevZdroje
Archive for Mathematical Logic
n3:obor
n18:BD
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n19:KJB1137301
n3:rokUplatneniVysledku
n6:2006
n3:svazekPeriodika
45
n3:tvurceVysledku
Bělohlávek, Radim Vychodil, Vilém
n3:zamer
n13:MSM6198959214
s:issn
0933-5846
s:numberOfPages
49
n17:organizacniJednotka
15310