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

Luis Estrada-González; Alessandro Giordani; 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

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

Risultato della ricerca: Contributo in rivista › Articolo in rivista › 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	English
pagine (da-a)	711-739
Numero di pagine	29
Rivista	Logic and Logical Philosophy
Volume	30
DOI	https://doi.org/10.12775/LLP.2021.014
Stato di pubblicazione	Pubblicato - 2021

Keywords

relating logic
relating semantics

Accesso al documento

10.12775/LLP.2021.014

Altri file e collegamenti

Link a IRIS PubliCatt

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 = "Luis Estrada-Gonz{\'a}lez and Alessandro Giordani 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",

}

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