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.

Giordani, A., Estrada-gonzález, L., Jarmużek, T., Klonowski, M., Sedlár, I., Tedder, A., Incorporating the Relation into the Language?A Survey of Approaches in Relating Logic, <<LOGIC AND LOGICAL PHILOSOPHY>>, N/A; 2021 (N/A): 1-29 [http://hdl.handle.net/10807/191749]

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

Giordani, Alessandro;
2021

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.
Inglese
Giordani, A., Estrada-gonzález, L., Jarmużek, T., Klonowski, M., Sedlár, I., Tedder, A., Incorporating the Relation into the Language?A Survey of Approaches in Relating Logic, <<LOGIC AND LOGICAL PHILOSOPHY>>, N/A; 2021 (N/A): 1-29 [http://hdl.handle.net/10807/191749]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10807/191749
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 3
social impact