Horčík, Rostislav - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: Horčík, Rostislav

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Fuzzy teorie tříd: některá pokročilá témata Cintula, Petr ; Horčík, Rostislav Cílem tohoto článku je posunout vývoj aparátu fuzzy teorie tříd. Koncentrujeme se na zesílení univerzálního kvantifikátoru, formalizaci myšlenky, že "podobné" fuzzy množiny splňují své vlastnosti v "podobném" stupni, a na vnoření klasických matematických teorií do fuzzy teorie tříd Úplný záznam
	O neplatnosti věty o silné standardní úplnosti logiky PiMTL Horčík, Rostislav Je dobře známo, že logiky: basic fuzzy logic (BL), Lukasiewicz logic a product logic, nesplňují větu o silné standardní úplnosti. Na druhou stranu monoidal t-norm logic (MTL) a její involutivní axiomatické rozšíření IMTL tuto větu splňují. V tomto článku ukážeme, že logika PiMTL (t.j. axiomatické rozšíření MTL o axiomy charakteristické pro product logic) nesplňuje větu o silné standardní úplnosti podobně jako logiky: BL, Lukasiewicz logic, product logic. Úplný záznam
	Product Lukasiewicz Logic - An Overwiev Cintula, Petr ; Horčík, Rostislav Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English