OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   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

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}