About: On Theories and Models in Fuzzy Predicate Logics     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
  • n the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories and on witnessed models.
  • n the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories and on witnessed models. (en)
  • Mnoho systémů formální fuzzy logiky bylo vyvinuto v posledních desetiletích. Protože hlavní rozdíly mezi fuzzy a klasikou logikou spočívají již na výrokové urovni, je vývoj fuzzy predikátových logik spíše pomalý (vzhledem k logikám výrokovým). Tímto textem chceme povzbudit zájem o fuzzy predikátové logiky a přispět k teorii modelů těchto logik. Nejprve zobecníme větu o úplnosti a poté použijeme dosažených výsledků ke studiu dosvědčených modelů a konzervativních rozšíření teorií. (cs)
Title
  • On Theories and Models in Fuzzy Predicate Logics
  • On Theories and Models in Fuzzy Predicate Logics (en)
  • O teoriích a modelech v predikátových fuzzy logikách (cs)
skos:prefLabel
  • On Theories and Models in Fuzzy Predicate Logics
  • On Theories and Models in Fuzzy Predicate Logics (en)
  • O teoriích a modelech v predikátových fuzzy logikách (cs)
skos:notation
  • RIV/67985807:_____/06:00041857!RIV07-AV0-67985807
http://linked.open.../vavai/riv/strany
  • 863;880
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(IAA100300503), Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika
  • 3
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
  • 490526
http://linked.open...ai/riv/idVysledku
  • RIV/67985807:_____/06:00041857
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • fuzzy logic; model theory; witnessed models; conservative extension; completeness theorem (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • US - Spojené státy americké
http://linked.open...ontrolniKodProRIV
  • [7771957FCC40]
http://linked.open...i/riv/nazevZdroje
  • Journal of Symbolic Logic
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...v/svazekPeriodika
  • 71
http://linked.open...iv/tvurceVysledku
  • Cintula, Petr
  • Hájek, Petr
http://linked.open...n/vavai/riv/zamer
issn
  • 0022-4812
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, 117 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software