999C1a:IAA900090703 - Search Results - Digital Repository

guest :: login Digital Repository
		Search		Submit		Help		About

Home > Search Results: 999C1a:IAA900090703

Search:

Search Tips :: Advanced Search

Search collections:

Sort by:	Display results:	Output format:

	Non-Equivalence of Some Implicational Deduction Theorems Chvalovský, Karel Fulltext: content.csg - PDF Plný tet: 0348224 - PDF Detailed record
	Modeling Costs of Program Runs in Fuzzified Propositional Dynamic Logic Běhounek, Libor Fulltext: content.csg - PDF Plný tet: 0312144 - PDF Detailed record
	Introspection of Vague Knowledge in Fuzzy Logic Běhounek, Libor In classical epistemic logic, the principle of introspection for vague knowledge is precluded by Poincaré's paradox, which implies that the relation of indistinguishability cannot be transitive. The paper shows that the introspection principle for vague knowledge can be saved if T-transitive indistinguishability relations in fuzzy logic are used. Detailed record
	Two Connections between Epistemic and Fuzzy Logics Běhounek, Libor Two possible connections between epistemic and fuzzy logics are studied. Epistemic fuzzy logic as a kind of modal logic studies the reasoning of agents about fuzzy propositions; problems of such a synthesis caused by the invalidity of the axiom K are hinted at. Another direction is to found epistemic on fuzzy logic; the paper sketches the way how representing feasible knowledge as a fuzzy modality eliminated the logical omniscience paradox. 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