Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Logic and Logical Philosophy
ISSN
1425-3305
e-ISSN
—
Volume of the periodical
30
Issue of the periodical within the volume
4
Country of publishing house
PL - POLAND
Number of pages
29
Pages from-to
711-739
UT code for WoS article
000723696800001
EID of the result in the Scopus database
—