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

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

Namespace Prefixes

PrefixIRI
n8http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/statKonaniAkce/
n20http://linked.opendata.cz/resource/domain/vavai/subjekt/
n16http://linked.opendata.cz/ontology/domain/vavai/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F13%3A00422868%21RIV14-GA0-67985807/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F13%3A00422868%21RIV14-GA0-67985807
rdf:type
n16:Vysledek skos:Concept
rdfs:seeAlso
http://www2.cs.cas.cz/cintula/PSSL
dcterms:description
Semilinear logics form a distinctive class of many-valued logics. Their defining feature is completeness with respect to a semantics based on linearly ordered algebras, which makes them specially suited for the formalization of reasoning with gradual properties. Mathematical Fuzzy Logic (MFL) is the discipline that studies semilinear logics. The second installment of Prague Symposium on Semilinear Logics was be devoted to the contents of this forthcoming third volume of the Handbook of Mathematical Fuzzy Logic. The authors presented the main notions and results of the chapters they are preparing. This have fostered discussion with other authors, the editors, and interested researchers and students of MFL that attended the symposium. Semilinear logics form a distinctive class of many-valued logics. Their defining feature is completeness with respect to a semantics based on linearly ordered algebras, which makes them specially suited for the formalization of reasoning with gradual properties. Mathematical Fuzzy Logic (MFL) is the discipline that studies semilinear logics. The second installment of Prague Symposium on Semilinear Logics was be devoted to the contents of this forthcoming third volume of the Handbook of Mathematical Fuzzy Logic. The authors presented the main notions and results of the chapters they are preparing. This have fostered discussion with other authors, the editors, and interested researchers and students of MFL that attended the symposium.
dcterms:title
2nd Prague Symposium on Semilinear Logics 2nd Prague Symposium on Semilinear Logics
skos:prefLabel
2nd Prague Symposium on Semilinear Logics 2nd Prague Symposium on Semilinear Logics
skos:notation
RIV/67985807:_____/13:00422868!RIV14-GA0-67985807
n16:predkladatel
n20:ico%3A67985807
n3:aktivita
n6:I n6:P
n3:aktivity
I, P(GAP202/10/1826)
n3:dodaniDat
n7:2014
n3:domaciTvurceVysledku
n18:1922688 n18:1218581
n3:druhVysledku
n5:W
n3:duvernostUdaju
n9:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
119698
n3:idVysledku
RIV/67985807:_____/13:00422868
n3:jazykVysledku
n4:eng
n3:klicovaSlova
mathematical fuzzy logic; semilinear logic
n3:klicoveSlovo
n12:mathematical%20fuzzy%20logic n12:semilinear%20logic
n3:kontrolniKodProRIV
[FA48F9990029]
n3:mistoKonaniAkce
Prague
n3:obor
n19:BA
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:pocetUcastnikuAkce
15
n3:pocetZahranicnichUcastnikuAkce
5
n3:projekt
n11:GAP202%2F10%2F1826
n3:rokUplatneniVysledku
n7:2013
n3:statKonaniAkce
n10:CZ
n3:tvurceVysledku
Cintula, Petr Noguera, Carles
n3:typAkce
n8:EUR
n3:ukonceniAkce
2013-11-20+01:00
n3:zahajeniAkce
2013-11-20+01:00