Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F21%3A00552397" target="_blank" >RIV/67985807:_____/21:00552397 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.12775/LLP.2021.014" target="_blank" >http://dx.doi.org/10.12775/LLP.2021.014</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.12775/LLP.2021.014" target="_blank" >10.12775/LLP.2021.014</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic
Popis výsledku v původním jazyce
In this paper we discuss whether the relation between formulas in the relating model can be directly introduced into the language of relating logic, and present some stances on that problem. Other questions in the vicinity, such as what kind of functor would be the incorporated relation, or whether the direct incorporation of the relation into the language of relating logic is really needed, will also be addressed.
Název v anglickém jazyce
Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic
Popis výsledku anglicky
In this paper we discuss whether the relation between formulas in the relating model can be directly introduced into the language of relating logic, and present some stances on that problem. Other questions in the vicinity, such as what kind of functor would be the incorporated relation, or whether the direct incorporation of the relation into the language of relating logic is really needed, will also be addressed.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2021
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)