How to Verify Validity of Non-trivial Logical Syllogisms

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F24%3AA2502NVL" target="_blank" >RIV/61988987:17610/24:A2502NVL - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007/978-3-031-67192-0_56" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-67192-0_56</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-67192-0_56" target="_blank" >10.1007/978-3-031-67192-0_56</a>

Jazyk výsledku
angličtina
Název v původním jazyce
How to Verify Validity of Non-trivial Logical Syllogisms
Popis výsledku v původním jazyce
In this publication we will focus on the presentation of several methods by which we are able to verify the validity of generalized Peterson syllogisms. We will focus on a special group of so-called non-trivial syllogisms when a generalized intermediate quantifier is considered in both premises, e.g. Most, Several, Many, etc.
Název v anglickém jazyce
How to Verify Validity of Non-trivial Logical Syllogisms
Popis výsledku anglicky
In this publication we will focus on the presentation of several methods by which we are able to verify the validity of generalized Peterson syllogisms. We will focus on a special group of so-called non-trivial syllogisms when a generalized intermediate quantifier is considered in both premises, e.g. Most, Several, Many, etc.

Projekt
<a href="/cs/project/EH22_008%2F0004583" target="_blank" >EH22_008/0004583: Excelentní výzkum v oblasti digitálních technologií a wellbeingu</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í
2024
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ů

Podobné výsledky(10)