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/
n12http://localhost/temp/predkladatel/
n15http://linked.opendata.cz/resource/domain/vavai/projekt/
n8http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/ontology/domain/vavai/
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#
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F05%3A03109547%21RIV06-GA0-21230___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F05%3A03109547%21RIV06-GA0-21230___
rdf:type
n9:Vysledek skos:Concept
dcterms:description
PiMTL je schematické rozšíření Monoidal T-norm Based Logic (MTL) o axiomy charakteristické produktové logice. V tomto článku ukazujeme, že PiMTL splňuje větu o standardní úplnosti. Z algebraického hlediska to znamená, že třída standardních PiMTL-algeber generuje varietu všech PiMTL-algeber. PiMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that PiMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of PiMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all PiMTL-algebras. PiMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that PiMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of PiMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all PiMTL-algebras.
dcterms:title
Standard Completeness Theorem for -MTL Standard Completeness Theorem for -MTL Věta o standardní úplnosti logiky PiMTL
skos:prefLabel
Standard Completeness Theorem for -MTL Standard Completeness Theorem for -MTL Věta o standardní úplnosti logiky PiMTL
skos:notation
RIV/68407700:21230/05:03109547!RIV06-GA0-21230___
n3:strany
413 ; 424
n3:aktivita
n17:P
n3:aktivity
P(GA201/02/1540)
n3:cisloPeriodika
44
n3:dodaniDat
n10:2006
n3:domaciTvurceVysledku
n8:6922287
n3:druhVysledku
n14:J
n3:duvernostUdaju
n13:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
544255
n3:idVysledku
RIV/68407700:21230/05:03109547
n3:jazykVysledku
n18:eng
n3:klicovaSlova
MTL logic; cancellative left-continuous t-norm; fuzzy logic; left-continuous t-norm; many-valued logic; product logic
n3:klicoveSlovo
n4:fuzzy%20logic n4:MTL%20logic n4:product%20logic n4:left-continuous%20t-norm n4:cancellative%20left-continuous%20t-norm n4:many-valued%20logic
n3:kodStatuVydavatele
DE - Spolková republika Německo
n3:kontrolniKodProRIV
[D3E80E3BA5F4]
n3:nazevZdroje
Archive for Mathematical Logic
n3:obor
n11:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n15:GA201%2F02%2F1540
n3:rokUplatneniVysledku
n10:2005
n3:svazekPeriodika
2005
n3:tvurceVysledku
Horčík, Rostislav
s:issn
0933-5846
s:numberOfPages
12
n12:organizacniJednotka
21230