About: Features of Mathematical Theories in Formal Fuzzy Logic     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
  • Plně fuzzifikovaný přístup k fuzzy matematice spočívá v budování axiomatických teorií nad vhodnými systémy fuzzy logiky. Vlastnosti formální fuzzy logiky, zvláště neplatnost logického zákona kontrakce, způsobují odlišnou podobu takových teorií od klasické matematiky. Článek shrnuje nejdůležotější rozdíly a dává metodologické pokyny pro smysluplné budování nových teorií, definování nových pojmů a dokazování nových vět formální fuzzy matematiky. (cs)
  • A genuine fuzzy approach to fuzzy mathematics consists in constructing axiomatic theories over suitable systems of formal fuzzy logic. The features of formal fuzzy logics (esp. the invalidity of the law of contraction) entail certain differences in form between theories axiomatized in fuzzy logic and usual theories known from classical mathematics. This paper summarizes the most important differences and presents guidelines for constructing new theories, defining new notions, and proving new theorems in formal fuzzy mathematics.
  • A genuine fuzzy approach to fuzzy mathematics consists in constructing axiomatic theories over suitable systems of formal fuzzy logic. The features of formal fuzzy logics (esp. the invalidity of the law of contraction) entail certain differences in form between theories axiomatized in fuzzy logic and usual theories known from classical mathematics. This paper summarizes the most important differences and presents guidelines for constructing new theories, defining new notions, and proving new theorems in formal fuzzy mathematics. (en)
Title
  • Features of Mathematical Theories in Formal Fuzzy Logic
  • Features of Mathematical Theories in Formal Fuzzy Logic (en)
  • Vlastnosti matematických teorií ve formální fuzzy logice (cs)
skos:prefLabel
  • Features of Mathematical Theories in Formal Fuzzy Logic
  • Features of Mathematical Theories in Formal Fuzzy Logic (en)
  • Vlastnosti matematických teorií ve formální fuzzy logice (cs)
skos:notation
  • RIV/67985807:_____/07:00093500!RIV08-AV0-67985807
http://linked.open.../vavai/riv/strany
  • 523;532
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(1ET100300517), P(KJB100300502), Z(AV0Z10300504)
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
  • 421780
http://linked.open...ai/riv/idVysledku
  • RIV/67985807:_____/07:00093500
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • formal fuzzy logic; axiomatic theories; the law of contraction; fuzzy mathematics; graded properties (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [BE02E29310DD]
http://linked.open...v/mistoKonaniAkce
  • Cancun
http://linked.open...i/riv/mistoVydani
  • Berlin
http://linked.open...i/riv/nazevZdroje
  • Foundations of Fuzzy Logic and Soft Computing
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Běhounek, Libor
  • Cintula, Petr
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • Springer-Verlag
https://schema.org/isbn
  • 978-3-540-72917-4
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, 117 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software