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

Alessandro Giordani; Luis Estrada-González; Tomasz Jarmużek; Mateusz Klonowski; Igor Sedlár; Andrew Tedder

doi:10.12775/LLP.2021.014

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

Alessandro Giordani
, Luis Estrada-González
, Tomasz Jarmużek
, Mateusz Klonowski
, Igor Sedlár
, Andrew Tedder

Universidad Nacional Autónoma de México
Nicolaus Copernicus University in Toruń
Institute of Molecular Genetics of the ASCR
Ruhr University Bochum

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	711-739
Number of pages	29
Journal	Logic and Logical Philosophy
Volume	30
Issue number	4
DOIs	https://doi.org/10.12775/LLP.2021.014
Publication status	Published - 2021

All Science Journal Classification (ASJC) codes

Philosophy

Keywords

relating logic
relating semantics

Access to Document

10.12775/LLP.2021.014

Cite this

@article{a742002af39f4823930f7c47a67247f9,

title = "Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic",

abstract = "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.",

keywords = "relating logic, relating semantics, relating logic, relating semantics",

author = "Alessandro Giordani and Luis Estrada-Gonz{\'a}lez and Tomasz Jarmu{\.z}ek and Mateusz Klonowski and Igor Sedl{\'a}r and Andrew Tedder",

year = "2021",

doi = "10.12775/LLP.2021.014",

language = "English",

volume = "30",

pages = "711--739",

journal = "Logic and Logical Philosophy",

issn = "2300-9802",

publisher = "Nicolaus Copernicus University",

number = "4",

}

TY - JOUR

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

AU - Giordani, Alessandro

AU - Estrada-González, Luis

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 - https://publicatt.unicatt.it/handle/10807/191749

UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85148676359&origin=inward

UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85148676359&origin=inward

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

IS - 4

ER -