TY - JOUR
T1 - Incorporating the Relation into the Language?
A Survey of Approaches in Relating Logic
AU - Estrada-González, Luis
AU - Giordani, Alessandro
AU - Jarmużek, Tomasz
AU - Klonowski, Mateusz
AU - Sedlár, Igor
AU - Tedder, Andrew
PY - 2021
Y1 - 2021
N2 - In this paper we discuss whether the relation between formulasin a relating model can be directly introduced into the language of therelating logic it is interpreting, and present some stances on that problem.Other questions in the vicinity, such as what kind of functor would be theincorporated relation, or whether the direct incorporation of the relationinto the language of relating logic is really needed, will also be addressed.
AB - In this paper we discuss whether the relation between formulasin a relating model can be directly introduced into the language of therelating logic it is interpreting, and present some stances on that problem.Other questions in the vicinity, such as what kind of functor would be theincorporated relation, or whether the direct incorporation of the relationinto the language of relating logic is really needed, will also be addressed.
KW - relating logic
KW - relating semantics
KW - relating logic
KW - relating semantics
UR - http://hdl.handle.net/10807/191749
U2 - 10.12775/LLP.2021.014
DO - 10.12775/LLP.2021.014
M3 - Article
SN - 2300-9802
VL - 30
SP - 711
EP - 739
JO - Logic and Logical Philosophy
JF - Logic and Logical Philosophy
ER -