Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10609/99589
dc.contributor | Manzano Arjona, María |
---|---|
dc.contributor | Huertas Sánchez, María Antonia |
dc.contributor | Martins, Manuel A. |
dc.date | 2019-07-22T09:01:14Z |
dc.date | 2019-07-22T09:01:14Z |
dc.date | 2018-10-20 |
dc.identifier.citation | Manzano Arjona, M., Huertas, M.A. & Martins, M.A. (2018). Completeness in Equational Hybrid Propositional Type Theory. Studia Logica, (), 1-40. doi: 10.1007/s11225-018-9833-5 |
dc.identifier.citation | 0039-3215 |
dc.identifier.citation | 1572-8730 |
dc.identifier.citation | 10.1007/s11225-018-9833-5 |
dc.identifier.uri | http://hdl.handle.net/10609/99589 |
dc.format | application/pdf |
dc.language.iso | eng |
dc.publisher | Studia Logica |
dc.relation | https://link.springer.com/article/10.1007/s11225-018-9833-5 |
dc.rights | (c) Journal |
dc.rights | info:eu-repo/semantics/restrictedAccess |
dc.subject | Propositional type theory |
dc.subject | Hybrid logic |
dc.subject | Equational logic |
dc.subject | Completeness |
dc.subject | Algebra |
dc.subject | Àlgebra |
dc.subject | Álgebra |
dc.title | Completeness in Equational Hybrid Propositional Type Theory |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract |