Fuzzifikace Groenendijkovy-Stokhofovy výrokové erótetické logiky.
Popis výsledku
V článku je rozvinuto fuzzy zobecnění Groenendijkovy-Stokhofovy erótetické logiky, známé též jako sémantika otázek jakožto tříd rozkladu. Protože jejím základem je intenzionální sémantika klasické logiky, je nejprve vytvořena fuzzy intenzionální sémantika v rámci fuzzy teorie tříd. Článek se omezuje na výrokové (tj. zjišťovací) otázky.
Klíčová slova
fuzzy logicerotetic logicintensional semanticsfuzzy class theory
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Fuzzification of Groenendijk-Stokhof Propositional Erotetic Logic
Popis výsledku v původním jazyce
The paper develops a fuzzy generalization of Groenendijk-Stokhof erotetic logic. Since the latter (also known as the partition semantics of questions) is based on intensional semantics of classical logic, fuzzy intensional semantics is developed first, within the framework of fuzzy class theory. The scope is restricted to propositional (yes-no) question.
Název v anglickém jazyce
Fuzzification of Groenendijk-Stokhof Propositional Erotetic Logic
Popis výsledku anglicky
The paper develops a fuzzy generalization of Groenendijk-Stokhof erotetic logic. Since the latter (also known as the partition semantics of questions) is based on intensional semantics of classical logic, fuzzy intensional semantics is developed first, within the framework of fuzzy class theory. The scope is restricted to propositional (yes-no) question.
Klasifikace
Druh
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2004
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Logique et Analyse
ISSN
0024-5836
e-ISSN
—
Svazek periodika
47
Číslo periodika v rámci svazku
-
Stát vydavatele periodika
BE - Belgické království
Počet stran výsledku
22
Strana od-do
167-188
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—
Základní informace
Druh výsledku
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP
BA - Obecná matematika
Rok uplatnění
2004