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

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

Namespace Prefixes

PrefixIRI
n12http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F03%3A06030187%21RIV%2F2004%2FGA0%2FA06004%2FN/
n11http://purl.org/net/nknouf/ns/bibtex#
n20http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/ontology/domain/vavai/
n21https://schema.org/
n17http://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#
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F03%3A06030187%21RIV%2F2004%2FGA0%2FA06004%2FN
rdf:type
skos:Concept n13:Vysledek
dcterms:description
Among all many-valued logics the Lukasiewicz logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lukasiewicz logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. Finally, the predicate version of PL logic is introduced and developed. Among all many-valued logics the Lukasiewicz logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lukasiewicz logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. Finally, the predicate version of PL logic is introduced and developed.
dcterms:title
Extension of Lukasiewicz Logic by Product Connective. Extension of Lukasiewicz Logic by Product Connective.
skos:prefLabel
Extension of Lukasiewicz Logic by Product Connective. Extension of Lukasiewicz Logic by Product Connective.
skos:notation
RIV/67985807:_____/03:06030187!RIV/2004/GA0/A06004/N
n3:strany
180;188
n3:aktivita
n10:P n10:Z
n3:aktivity
P(GA201/02/1540), P(IAA1030004), Z(AV0Z1030915), Z(MSM 212300013)
n3:dodaniDat
n8:2004
n3:domaciTvurceVysledku
n15:1922688
n3:druhVysledku
n4:D
n3:duvernostUdaju
n14:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
606931
n3:idVysledku
RIV/67985807:_____/03:06030187
n3:jazykVysledku
n6:eng
n3:klicovaSlova
fuzzy logic; many-valued logic; Lukasiewicz logic; Lpi logic; Takeuti-Titani logic; MV-algebras; product MV-algebras
n3:klicoveSlovo
n7:fuzzy%20logic n7:MV-algebras n7:product%20MV-algebras n7:Lukasiewicz%20logic n7:many-valued%20logic n7:Lpi%20logic n7:Takeuti-Titani%20logic
n3:kontrolniKodProRIV
[1A25974FD9AB]
n3:mistoKonaniAkce
Istanbul [TR]
n3:mistoVydani
Berlin
n3:nazevZdroje
Fuzzy Sets and Systems - IFSA 2003.
n3:obor
n18:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:projekt
n20:GA201%2F02%2F1540 n20:IAA1030004
n3:rokUplatneniVysledku
n8:2003
n3:tvurceVysledku
Hořčík, R. Cintula, Petr
n3:typAkce
n12:WRD
n3:zahajeniAkce
2003-06-30+02:00
n3:zamer
n17:MSM%20212300013 n17:AV0Z1030915
s:numberOfPages
9
n11:hasPublisher
Springer-Verlag
n21:isbn
3-540-40383-3