Intermediate Syllogisms in Fuzzy Natural Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F16%3AA1701EHW" target="_blank" >RIV/61988987:17610/16:A1701EHW - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Intermediate Syllogisms in Fuzzy Natural Logic

Popis výsledku v původním jazyce

The goal of this paper is twofold: first, we give overview of the results of one part of the Fuzzy Natural Logic --- the formal theory of intermediate quantifiers and syllogisms based on them. We present 105 valid basic syllogisms and show that for the proof of validity of all of them, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the second part of the paper, we focused on conditions under which non-trivial intermediate syllogisms are valid. The latter are syllogisms which contain two or even three general intermediate quantifiers.

Název v anglickém jazyce

Intermediate Syllogisms in Fuzzy Natural Logic

Popis výsledku anglicky

The goal of this paper is twofold: first, we give overview of the results of one part of the Fuzzy Natural Logic --- the formal theory of intermediate quantifiers and syllogisms based on them. We present 105 valid basic syllogisms and show that for the proof of validity of all of them, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the second part of the paper, we focused on conditions under which non-trivial intermediate syllogisms are valid. The latter are syllogisms which contain two or even three general intermediate quantifiers.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2016

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ů

Název periodika

Journal of Fuzzy Set Valued Analysis

ISSN

2193-4169

e-ISSN

—

Svazek periodika

2016

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

13

Strana od-do

99-111

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—