About: Model theory in categories of fuzzy sets

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

About: Model theory in categories of fuzzy sets 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=IAA1187901
Description	Fuzzy sets theory represents a possible tool for basic mathematical constructions. By using this theory classical mathematical structures (e.g. groups, topological spaces, etc.) are constructed. But with the exception of some results from fuzzy logic there do not exist research results dealing with model theory properties of fuzzy sets categories. The proposed project will be then oriented on the research of model theory properties of various categories of fuzzy sets and, especially, on possibilitiesof algebraic systems constructions in these categories. Special conditions will be investigated under which these categories of fuzzy sets are topoi and the research of internal logic of these topoi will be done. Moreover, since the internal logic of topoi is basedd on Heyting algebras only, the research of conditions will be undertaken, under which also a fuzzy logic theory based on more general residue lattices can be interpreted in these categories of fuzzy sets. (en) Teorie fuzzy množin se stává jednou z variant základů matematiky.S využitím této teorie se budují analogie klasických matem.struktur, známých z teorie množin,jako jsou grupy, topol.prostory apod.S výjimkou výzkumu různých fuzzy logik však existuje jen velmi málo výsledků o těchto možnostech teorie fuzzy množin.Předkládaný projekt by se proto zabýval výzkumem různých kategorií fuzzy množin,a to zejména z hlediska možností konstrukcí různých matem.systémů nad těmito kategoriemi. Předpokládá se,že se budou především vyšetřovat především podmínky,kdy tyto kategorie tvoří toposy,přičemž důraz bude kladen na výzkum interní logiky těchto toposů.Protože toposy v obecném případě umožňují interpretaci nejvýše intuicionist.logiky (založené na Heytingových svazech),zatímco logika v teotii fuzzy množin je obecně interpretována v residuovaných svazech,budou se vyšetřovat podmínky, kdy dané kategorie fuzzy množin umožňují interpretaci také této logiky vycházející z residuovaných svazů.
Title	Model theory in categories of fuzzy sets (en) Teorie modelů v kategoriích fuzzy množin
skos:notation	IAA1187901
http://linked.open...avai/cep/aktivita	Grants of distinctly investigative character focused on the sphere of research pursued at present particularly in the Academy of Sciences of the Czech Republic
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/IAA1187901/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/IAA1187901/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2007-01-15 (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	768423
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open.../cep/klicovaSlova	fuzzy sets over MV-algeras; categories of fuzzy sets; fuzy automata; fuzzy logic; models of fuzzy logic; (en)
http://linked.open...ep/partnetrHlavni	Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	2 (xsd:int)
http://linked.open...enychVysledkuVRIV	2 (xsd:int)
http://linked.open...iciPoslednihoRoku	2002
http://linked.open...atUdajeProjZameru	2002
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...jektu+dodavatelem	Identifikace objektů v kategoriích fuzzy množin nad MV-algebrami, které mohou sloužit jako zobecnění objektů identifikovaných pomocí podobjektových klasifikátorů, výzkum vlastností kategorií fuzzy automatů. Vlastností modelů fuzzy logiky. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	fuzzy logic categories of fuzzy sets fuzy automata models of fuzzy logic fuzzy sets over MV-algeras
is http://linked.open...vavai/riv/projekt of	Fuzzy Functions in Fuzzy Logic with Fuzzy Equality On functions in fuzzy logic with evaluated syntax
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/IAA1187901/1999/orjk%3A17610 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/IAA1187901/2000/orjk%3A17610 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/IAA1187901/2001/orjk%3A17610 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/IAA1187901/2002/orjk%3A17610

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, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software