Horčík, Rostislav - Search Results - Digital Repository

guest :: login Digital Repository
		Search		Submit		Help		About

Home > Search Results: Horčík, Rostislav

Search:

Search Tips :: Advanced Search

Search collections:

Sort by:	Display results:	Output format:

	Fuzzy teorie tříd: některá pokročilá témata Cintula, Petr ; Horčík, Rostislav The goal of this paper is to push forward the development of the apparatus of the Fuzzy Class theory. We concentrate on three areas: strengthening the universal quantifier, formalizing the idea that `similar' fuzzy sets fulfill their properties to `similar' degrees, and embedding of classical crisp theories into Fuzzy Class theory. Detailed record
	O neplatnosti věty o silné standardní úplnosti logiky PiMTL Horčík, Rostislav It is well-known that Hájek s basic fuzzy logic (BL), Lukasiewicz logic, and product logic are not strongly standard complete. On the other hand Esteva and Godo s monoidal t-norm logic (MTL) and its involutive extension IMTL are strongly standard complete. In this paper we show that PiMTL (an extension of MTL by the axioms characteristic of product logic) does not enjoy the strong standard completeness theorem like BL, Lukasiewicz, and product logic. Detailed record
	Product Lukasiewicz Logic - An Overwiev Cintula, Petr ; Horčík, Rostislav Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.

Digital Repository :: :: :: ::
Powered by v1.1.2
Maintained by

This site is also available in the following languages:
Česky English