Non-trivial syllogisms in higher order logic-extension

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Non-trivial syllogisms in higher order logic-extension
Popis výsledku 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.
Název v anglickém jazyce
Non-trivial syllogisms in higher order logic-extension
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</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í
2015
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 statě ve sborníku
Proceedings of the 18th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty
ISBN
978-80-7435-579-0
ISSN
—
e-ISSN
—
Počet stran výsledku
9
Strana od-do
97-106
Název nakladatele
Gaudeamus
Místo vydání
—
Místo konání akce
Broumov
Datum konání akce
19. 9. 2015
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)