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
dctermshttp://purl.org/dc/terms/
n8http://localhost/temp/predkladatel/
n17http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/ontology/domain/vavai/
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61988987%3A17610%2F06%3A00000001%21RIV07-AV0-17610___/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://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#
n9http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61988987%3A17610%2F06%3A00000001%21RIV07-AV0-17610___
rdf:type
skos:Concept n15:Vysledek
dcterms:description
The class of functions which can be represented by formulas of a standard BL-algebra whose basic operation is a t-norm is fully characterized. We consider formulas which are constructed from variables and constants with the help of operations from a BL-algebra. We prove that the class of functions which are represented by such formulas coincides with the class of extensional functions. Je vyřešen problém charakterizace třídy funkcí reprezentovatelných formulemi standartní BL-algebry. The class of functions which can be represented by formulas of a standard BL-algebra whose basic operation is a t-norm is fully characterized. We consider formulas which are constructed from variables and constants with the help of operations from a BL-algebra. We prove that the class of functions which are represented by such formulas coincides with the class of extensional functions.
dcterms:title
Functional system of BL-algebra with infinite formulas Funkcionální soustava BL-algebry Functional system of BL-algebra with infinite formulas
skos:prefLabel
Funkcionální soustava BL-algebry Functional system of BL-algebra with infinite formulas Functional system of BL-algebra with infinite formulas
skos:notation
RIV/61988987:17610/06:00000001!RIV07-AV0-17610___
n4:strany
183
n4:aktivita
n18:P
n4:aktivity
P(GA201/04/1033), P(IAA1187301)
n4:cisloPeriodika
12
n4:dodaniDat
n6:2007
n4:domaciTvurceVysledku
n17:9347453
n4:druhVysledku
n16:J
n4:duvernostUdaju
n7:S
n4:entitaPredkladatele
n5:predkladatel
n4:idSjednocenehoVysledku
476476
n4:idVysledku
RIV/61988987:17610/06:00000001
n4:jazykVysledku
n13:eng
n4:klicovaSlova
BL-algebra; extensional function; disjunctive and conjunctive normal forms; Lipschitz condition
n4:klicoveSlovo
n9:Lipschitz%20condition n9:disjunctive%20and%20conjunctive%20normal%20forms n9:extensional%20function n9:BL-algebra
n4:kodStatuVydavatele
US - Spojené státy americké
n4:kontrolniKodProRIV
[31FF86B46D4E]
n4:nazevZdroje
Int. Journal of Many-Valued Logic
n4:obor
n10:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n14:IAA1187301 n14:GA201%2F04%2F1033
n4:rokUplatneniVysledku
n6:2006
n4:tvurceVysledku
Perfilieva, Irina
s:issn
1542-3980
s:numberOfPages
18
n8:organizacniJednotka
17610