Non-trivial syllogisms in higher order logic-extension

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F15%3AA1601FUX" target="_blank" >RIV/61988987:17610/15:A1601FUX - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Non-trivial syllogisms in higher order logic-extension
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: IT4Innovations Centre of Excellence</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 18th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty
ISBN
978-80-7435-579-0
ISSN
—
e-ISSN
—
Number of pages
9
Pages from-to
97-106
Publisher name
Gaudeamus
Place of publication
—
Event location
Broumov
Event date
Sep 19, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)