Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11299
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-07T09:58:10Z | - |
dc.date.available | 2009-09-07T09:58:10Z | - |
dc.date.issued | 2007 | - |
dc.identifier.citation | Pré-Publicações DMUC. 07-15 (2007) | en_US |
dc.identifier.uri | https://hdl.handle.net/10316/11299 | - |
dc.description.abstract | Implications in a category can be presented as epimorphisms: an ob- ject satis¯es the implication i® it is injective w.r.t. that epimorphism. G. Ro»cu formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a ¯nitary one (for epimor- phisms with ¯nitely presentable domains and codomains). In categories Alg § of algebras on a given signature our logic specializes to the implicational logic of R. Quackenbush. In categories Coalg H of coalgebras for a given accessible endofunctor H of sets we derive a logic for implications in the sense of P. Gumm. | en_US |
dc.description.sponsorship | Centre for Mathematics of University of Coim- bra/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 | eng |
dc.title | A logic of implications in algebra and coalgebra | 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 | - |
Appears in Collections: | FCTUC Matemática - Vários |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A logic of implications in algebra and coalgebra.pdf | 252.42 kB | Adobe PDF | View/Open |
Page view(s) 50
420
checked on Oct 15, 2024
Download(s)
244
checked on Oct 15, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.