About: On the Failure of Standard Completeness in PiMTL for Infinite Theories     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Je dobře známo, že Hájkova Basic Fuzzy Logic (BL), Lukasiewiczova logika a produktová logika nejsou silně standardně úplné. Na druhou stranu monoidální t-normová logika MTL a její involutivní rozšíření IMTL jsou silně standardně úplné. V článku ukazujeme, že PiMTL (kancelativní rozšíření MTL) není silně standardně úplná podobně jako BL, Lukasiewiczova a produktová logika. (cs)
  • It is well-known that Hájek's Basic Fuzzy Logic (BL), Lukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo's Monoidal T-norm Based Logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that PiMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Lukasiewicz, and product logic.
  • It is well-known that Hájek's Basic Fuzzy Logic (BL), Lukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo's Monoidal T-norm Based Logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that PiMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Lukasiewicz, and product logic. (en)
Title
  • On the Failure of Standard Completeness in PiMTL for Infinite Theories
  • PiMTL nemá silnou standardní úplnost pro nekonečné teorie (cs)
  • On the Failure of Standard Completeness in PiMTL for Infinite Theories (en)
skos:prefLabel
  • On the Failure of Standard Completeness in PiMTL for Infinite Theories
  • PiMTL nemá silnou standardní úplnost pro nekonečné teorie (cs)
  • On the Failure of Standard Completeness in PiMTL for Infinite Theories (en)
skos:notation
  • RIV/67985807:_____/07:00079129!RIV08-AV0-67985807
http://linked.open.../vavai/riv/strany
  • 619;624
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • V
http://linked.open...iv/cisloPeriodika
  • 6
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 439366
http://linked.open...ai/riv/idVysledku
  • RIV/67985807:_____/07:00079129
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • strong standard completeness; monoidal t-norm based logic (MTL); basic fuzzy logic (BL); product logic; Lukasiewicz logic; PiMTL; IMTL (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • NL - Nizozemsko
http://linked.open...ontrolniKodProRIV
  • [00BB92B08832]
http://linked.open...i/riv/nazevZdroje
  • Fuzzy Sets and Systems
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 158
http://linked.open...iv/tvurceVysledku
  • Horčík, Rostislav
issn
  • 0165-0114
number of pages
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software