Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11380
DC Field | Value | Language |
---|---|---|
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.openairetype | preprint | - |
item.languageiso639-1 | en | - |
item.openairecristype | http://purl.org/coar/resource_type/c_816b | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.fulltext | Com Texto completo | - |
crisitem.author.dept | Faculty of Sciences and Technology | - |
crisitem.author.parentdept | University of Coimbra | - |
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 | - |
Appears in Collections: | FCTUC Matemática - Artigos em Revistas Nacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Logic of implications.pdf | 207.42 kB | Adobe PDF | View/Open |
Page view(s)
175
checked on Mar 26, 2024
Download(s)
41
checked on Mar 26, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.