About: Formal theories of mathematical structures with vagueness

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

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)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=KJB100300502
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	The research grant projects for juniors
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/KJB100300502/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/KJB100300502/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2009-04-03 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	71782382
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
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	Ústav informatiky AV ČR, v.v.i.
http://linked.open...inujicichPrijemcu	1 (xsd:int)
http://linked.open...cep/pocetPrijemcu	2 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	13 (xsd:int)
http://linked.open...enychVysledkuVRIV	13 (xsd:int)
http://linked.open...lneniVMinulemRoce	2007-02-27 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/KJB100300502
http://linked.open...iciPoslednihoRoku	2007
http://linked.open...atUdajeProjZameru	2008
http://linked.open.../vavai/cep/soutez	SAV02005-J
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2007-12-01 (xsd:date)
http://linked.open...ep/zahajeniReseni	2005-01-01 (xsd:date)
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	ZBKU
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/riv/projekt of	Filters in Fuzzy Class Theory Triangular Norm Based Predicate Fuzzy Logics Fuzzy logics with an additional involutive negation From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto Valverde-Style Representation Results in a Graded Framework Features of Mathematical Theories in Formal Fuzzy Logic Solution of a System of Linear Equations with Fuzzy Numbers Relations in Fuzzy Class Theory: Initial Steps. On the Difference between Traditional and Deductive Fuzzy Logic Relational compositions in Fuzzy Class Theory Interior-Based Topology in Fuzzy Class Theory Topology in Fuzzy Class Theory: Basic Notions Fuzzy Class Theory: some Advanced Topics
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2005/ico%3A67985556 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2005/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2006/ico%3A67985556 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2006/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2007/ico%3A67985556 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2007/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2008/ico%3A67985556 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/KJB100300502/2008/ico%3A67985807

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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