OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu
*
:
stať ve sborníku (D)
Domácí pracoviště
*
:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název
*
:
Non-trivial syllogisms in higher order logic-extension
Citace :
Murinová, P. a Novák, V. Non-trivial syllogisms in higher order logic-extension.
In:
Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty: Proceedings of the 18th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty 2015-09-19 Broumov.
Gaudeamus, 2015. s. 97-106. ISBN 978-80-7435-579-0.
Podnázev :
Rok
*
:
2015
Obor
*
:
Obecná matematika
Počet stran
*
:
9
Strana od
*
:
97
Strana do
*
:
106
Forma vydání
*
:
Tištená verze
Kód ISBN
*
:
978-80-7435-579-0
Kód ISSN :
Název sborníku
*
:
Proceedings of the 18th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty
Sborník :
Mezinárodní
Název nakladatele
*
:
Gaudeamus
Místo vydání
*
:
Neuveden
Stát vydání :
Sborník vydaný v ČR
Název konference :
Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty
Místo konání konference
*
:
Broumov
Datum zahájení konference
*
:
Typ akce podle státní
příslušnosti účastníků akce
*
:
Celosvětová akce
Kód UT WoS :
EID :
Klíčová slova anglicky
*
:
Generalized quantifiers; Generalized syllogisms; Fuzzy type theory; Non-trivial syllogisms
Popis v původním jazyce
*
:
This approach is the continuation of the studding of the special kinds of generalized intermediate quantifiers in higher order logic. In the previous paper we syntactically proved the twelve non-trivial syllogisms of Figure-III. The main idea of this contribution is to syntactically prove new non-trivial positive intermediate syllogisms of Figure-I.
Popis v anglickém jazyce
*
:
This approach is the continuation of the studding of the special kinds of generalized intermediate quantifiers in higher order logic. In the previous paper we syntactically proved the twelve non-trivial syllogisms of Figure-III. The main idea of this contribution is to syntactically prove new non-trivial positive intermediate syllogisms of Figure-I.
Typ zdroje financování výsledku
*
:
Specifický výzkum
Seznam projektů :
ID Projektu
Název projektu
Seznam ohlasů :
Ohlas
R01:
RIV/61988987:17610/15:A1601FUX
Complementary Content
${title}
${badge}
${loading}