Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/123586
Títol: | A semantics for equational hybrid propositional type theory |
Autoria: | Manzano Arjona, María Martins, Manuel A. Huertas, M. Antonia |
Altres: | Universidade de Aveiro Universidad de Salamanca Universitat Oberta de Catalunya (UOC) |
Citació: | Manzano, M., Martins, M.A. & Huertas, A. (2014). A semantics for equational hybrid propositional type theory. Bulletin of the Section of Logic, 43(3-4), 121-138. |
Resum: | The definition of identity in terms of other logical symbols is a recurrent issue in logic. In particular, in First-Order Logic (FOL) there is no way of defining the global relation of identity, while in standard Second-Order Logic (SOL) this definition is not only possible, but widely used. In this paper, the reverse question is posed and affirmatively answered: Can we define with only equality and abstraction the remaining logical symbols? Our present work is developed in the context of an equational hybrid logic (i.e. a modal logic with equations as propositional atoms enlarged with the hybrid expressions: nominals and the @ operator). Our logical base is propositional type theory. We take the propositional equality, abstraction, nominals, and @ operators as primitive symbols and we demonstrate that all of the remaining logical symbols can be defined, including propositional quantifiers and equational equality. |
Paraules clau: | lògica de primer ordre lògica de segon ordre teoria de tipus proposicional lògica equacional híbrida |
Tipus de document: | info:eu-repo/semantics/article |
Versió del document: | info:eu-repo/semantics/publishedVersion |
Data de publicació: | jul-2014 |
Llicència de publicació: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Apareix a les col·leccions: | Articles Articles cientÍfics |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Huertas_BSL_A_Semantics.pdf | 400,81 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons