Please use this identifier to cite or link to this item:
DC FieldValueLanguage
dc.contributor.authorAdámek, Jirí-
dc.contributor.authorSobral, Manuela-
dc.contributor.authorSousa, Lurdes-
dc.identifier.citationPré-Publicações DMUC. 07-15 (2007)en_US
dc.description.abstractImplications 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.sponsorshipCentre 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 Viseuen_US
dc.publisherCentro de Matemática da Universidade de Coimbraen_US
dc.titleA logic of implications in algebra and coalgebraen_US
item.fulltextCom Texto completo-
item.grantfulltextopen- de Ciências e Tecnologia, Universidade de Coimbra- for Mathematics, University of Coimbra-
Appears in Collections:FCTUC Matemática - Vários
Files in This Item:
File Description SizeFormat 
A logic of implications in algebra and coalgebra.pdf252.42 kBAdobe PDFView/Open
Show simple item record

Page view(s) 50

checked on Jul 10, 2019


checked on Jul 10, 2019

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.