Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/11380
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Adámek, Jirí | - |
dc.contributor.author | Sobral, Manuela | - |
dc.contributor.author | Sousa, Lurdes | - |
dc.date.accessioned | 2009-09-14T09:45:14Z | - |
dc.date.available | 2009-09-14T09:45:14Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | Pré-Publicações DMUC. 05-24 (2005) | en_US |
dc.identifier.uri | https://hdl.handle.net/10316/11380 | - |
dc.description.abstract | A sound and complete logic for implications (or quasi-equations) is presented, extending naturally Birkhoff’s equational logic. This is based on a general logic for injectivity, following an idea of G. Ro¸su. | en_US |
dc.description.sponsorship | Centre for Mathematics of University of Coimbra/ FCT; International Center for Mathematics; Ministry of Education of the Czech Republic, Project MSM 6840770014; School of Technology of Viseu | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Centro de Matemática da Universidade de Coimbra | en_US |
dc.rights | openAccess | en_US |
dc.title | Logic of implications | en_US |
dc.type | preprint | en_US |
uc.controloAutoridade | Sim | - |
item.fulltext | Com Texto completo | - |
item.openairecristype | http://purl.org/coar/resource_type/c_816b | - |
item.languageiso639-1 | en | - |
item.openairetype | preprint | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
crisitem.author.researchunit | CMUC - Centre for Mathematics of the University of Coimbra | - |
crisitem.author.orcid | 0000-0001-9289-6147 | - |
crisitem.author.orcid | 0000-0003-0100-1673 | - |
Aparece nas coleções: | FCTUC Matemática - Artigos em Revistas Nacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Logic of implications.pdf | 207.42 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
194
Visto em 15/out/2024
Downloads
61
Visto em 15/out/2024
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.