About: Formal theories of mathematical structures with vagueness     Goto   Sponge   NotDistinct   Permalink

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

AttributesValues
rdf:type
rdfs:seeAlso
Description
  • Mathematical structures containing vague concepts (fuzzy structures) have a broad range of applications; therefore they were intensively investigated during the last decades. The project is directed towards developing and applying a rich logical apparatus for the formalization of such structures. First steps in the development thereof were enabled by recent results in mathematical fuzzy logic. It is based on a simple type theory over a suitable fuzzy logic, proposed by the investigators. In the initial phase the apparatus will be completed; however, the central part of the project is its application in various fuzzy disciplines (fuzzy probability, fuzzy numbers etc.). This approach leads not only to an axiomatization, but also to a systematic study of these structures by proof-theoretic and model-theoretic methods. Moreover, the unified formalism will make an interconnection of the respective disciplines possible and will lay down the foundations of formal fuzzy mathematics. (en)
  • Matematické struktury s vágními koncepty (tzv. fuzzy struktury) jsou široce aplikovatelné, a proto jsou v posledních desetiletích intenzivně zkoumány. Projekt směřuje k rozvoji a použití dostatečně silného logického aparátu pro formalizaci těchto struktur. První kroky k jeho vybudování byly umožněny nedávnými výsledky v matematické fuzzy logice. Jedná se o zobecnění jednoduché teorie typů nad vhodnou vícehodnotovou logikou, navržené řešiteli. Počáteční fáze projektu spočívá v dobudování tohoto aparátu, nicméně těžištěm projektu je jeho aplikace na nejpoužívanější fuzzy struktury (fuzzy pravděpodobnost, fuzzy čísla, fuzzy topologie aj.). To povede nejen k axiomatizaci teorií těchto struktur, ale i k možnosti jejich systematického studia pomocí metod teorie modelů a teorie důkazů. Jednotný formalismus navíc umožní propojení uvedených disciplín a položí základy formální fuzzy matematiky.
Title
  • Formal theories of mathematical structures with vagueness (en)
  • Formální teorie matematických struktur s vágností
skos:notation
  • KJB100300502
http://linked.open...avai/cep/aktivita
http://linked.open...kovaStatniPodpora
http://linked.open...ep/celkoveNaklady
http://linked.open...datumDodatniDoRIV
http://linked.open...i/cep/druhSouteze
http://linked.open...ep/duvernostUdaju
http://linked.open.../cep/fazeProjektu
http://linked.open...ai/cep/hlavniObor
http://linked.open...hodnoceniProjektu
http://linked.open...vai/cep/kategorie
http://linked.open.../cep/klicovaSlova
  • mathematical fuzzy logic; fuzzy sets; vagueness; foundations of mathematics; type theory; fuzzy probability; fuzzy numbers; metamathematics; model theory; proof theory; higher-order logic (en)
http://linked.open...ep/partnetrHlavni
http://linked.open...inujicichPrijemcu
http://linked.open...cep/pocetPrijemcu
http://linked.open...ocetSpoluPrijemcu
http://linked.open.../pocetVysledkuRIV
http://linked.open...enychVysledkuVRIV
http://linked.open...lneniVMinulemRoce
http://linked.open.../prideleniPodpory
http://linked.open...iciPoslednihoRoku
http://linked.open...atUdajeProjZameru
http://linked.open.../vavai/cep/soutez
http://linked.open...usZobrazovaneFaze
http://linked.open...ai/cep/typPojektu
http://linked.open...ep/ukonceniReseni
http://linked.open...ep/zahajeniReseni
http://linked.open...jektu+dodavatelem
  • Nalezli jsme nové výsledky a zobecnění v několika disciplínách formální fuzzy matematiky, zejména v teorii fuzzy tříd a relací, fuzzy intervalů, fuzzy filtrů, fuzzy topologii a logických základech fuzzy matematiky. (cs)
  • We have found new results and generalizations in several disciplines of formal fuzzy mathematics, esp. the theory of fuzzy classes and relations, fuzzy intervals, fuzzy filters, fuzzy topology, and logical foundations of fuzzy mathematics. (en)
http://linked.open...tniCyklusProjektu
http://linked.open.../cep/klicoveSlovo
  • mathematical fuzzy logic
  • foundations of mathematics
  • fuzzy numbers
  • fuzzy probability
  • fuzzy sets
  • metamathematics
  • model theory
  • proof theory
  • type theory
  • vagueness
is http://linked.open...vavai/cep/projekt 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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software