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

Risultato della ricerca: Contributo in rivista › Articolo › 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.

Lingua originale	Inglese
pagine (da-a)	711-739
Numero di pagine	29
Rivista	Logic and Logical Philosophy
Volume	30
Numero di pubblicazione	4
DOI	https://doi.org/10.12775/LLP.2021.014
Stato di pubblicazione	Pubblicato - 2021

All Science Journal Classification (ASJC) codes

Filosofia

Keywords

relating logic
relating semantics

Accesso al documento

10.12775/LLP.2021.014

Altri file e collegamenti

Cita questo

@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 -