Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/123586
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Manzano Arjona, María | - |
dc.contributor.author | Martins, Manuel A. | - |
dc.contributor.author | Huertas, M. Antonia | - |
dc.contributor.other | Universidade de Aveiro | - |
dc.contributor.other | Universidad de Salamanca | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.date.accessioned | 2020-10-08T15:40:42Z | - |
dc.date.available | 2020-10-08T15:40:42Z | - |
dc.date.issued | 2014-07 | - |
dc.identifier.citation | 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. | - |
dc.identifier.issn | 0138-0680MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/123586 | - |
dc.description.abstract | 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. | en |
dc.language.iso | eng | - |
dc.publisher | Bulletin of the Section of Logic | - |
dc.relation.ispartof | Bulletin of the Section of Logic, 2014, 43(3-4) | - |
dc.relation.uri | http://www.filozof.uni.lodz.pl/bulletin/pdf/43_34_1.pdf | - |
dc.rights | CC BY-NC-ND | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | - |
dc.subject | propositional type theory | en |
dc.subject | first-order logic | en |
dc.subject | second-order logic | en |
dc.subject | equational hybrid logic | en |
dc.subject | lógica de primer orden | es |
dc.subject | lògica de primer ordre | ca |
dc.subject | lògica de segon ordre | ca |
dc.subject | lógica de segundo orden | es |
dc.subject | teoría de tipo proposicional | es |
dc.subject | teoria de tipus proposicional | ca |
dc.subject | lógica ecuacional híbrida | es |
dc.subject | lògica equacional híbrida | ca |
dc.subject.lcsh | Logic, Modern | en |
dc.title | A semantics for equational hybrid propositional type theory | - |
dc.type | info:eu-repo/semantics/article | - |
dc.subject.lemac | Lògica moderna | ca |
dc.subject.lcshes | Lógica moderna | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.gir.id | AR/0000003804 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/FFI-2009-09345MICINN | - |
dc.relation.projectID | info:eu-repo/grantAgreement/FFI2013-47126-P | - |
dc.relation.projectID | info:eu-repo/grantAgreement/FP7-PEOPLE-2012-IRSES | - |
dc.relation.projectID | info:eu-repo/grantAgreement/FCOMP-01-0124-FEDER-028923 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/PEst-OE/MAT/UI4106/2014 | - |
dc.type.version | info:eu-repo/semantics/publishedVersion | - |
Aparece en las colecciones: | Articles Articles cientÍfics |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Huertas_BSL_A_Semantics.pdf | 400,81 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons