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/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6http://linked.opendata.cz/resource/domain/vavai/projekt/
n18http://linked.opendata.cz/ontology/domain/vavai/
n15http://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/
n17http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F07%3A00088772%21RIV08-AV0-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/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F07%3A00088772%21RIV08-AV0-67985807
rdf:type
n18:Vysledek skos:Concept
dcterms:description
Je popsána metoda konstrukce konjunktivní normální formy pro logiky s Gentzenovským důkazovým systémem, jež vykazuje vlastnost tzv. silné invertibility. Tato metoda je aplikována na řadu prominentních fuzzy logik a jejich hypersekventových systémů popsaných v literatuře. Konkrétně, pro Lukasiewiczovu logiku konstruujeme normální formu s literály intepretovanými pomocí tzv. jednoduchých McNaughtonovských funkcí, pro Godelovu a produktovou logiky (a také pro logiku CHL) konstruujeme normální formu s literály ve formě jednoduchých implikačních formulí. A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for łukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic. A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for łukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic.
dcterms:title
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach Normální formy ve fuzzy logikách: důkazově-teoretický přístup
skos:prefLabel
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach Normální formy ve fuzzy logikách: důkazově-teoretický přístup
skos:notation
RIV/67985807:_____/07:00088772!RIV08-AV0-67985807
n3:strany
347;363
n3:aktivita
n10:P n10:Z
n3:aktivity
P(1M0545), Z(AV0Z10300504)
n3:cisloPeriodika
5-6
n3:dodaniDat
n4:2008
n3:domaciTvurceVysledku
n16:1922688
n3:druhVysledku
n8:J
n3:duvernostUdaju
n5:S
n3:entitaPredkladatele
n17:predkladatel
n3:idSjednocenehoVysledku
437586
n3:idVysledku
RIV/67985807:_____/07:00088772
n3:jazykVysledku
n14:eng
n3:klicovaSlova
fuzzy logic; normal form; proof theory; hypersequents
n3:klicoveSlovo
n12:hypersequents n12:proof%20theory n12:normal%20form n12:fuzzy%20logic
n3:kodStatuVydavatele
DE - Spolková republika Německo
n3:kontrolniKodProRIV
[68E8983E9920]
n3:nazevZdroje
Archive for Mathematical Logic
n3:obor
n11:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:projekt
n6:1M0545
n3:rokUplatneniVysledku
n4:2007
n3:svazekPeriodika
46
n3:tvurceVysledku
Metcalfe, G. Cintula, Petr
n3:zamer
n15:AV0Z10300504
s:issn
1432-0665
s:numberOfPages
17