Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/11380
DC FieldValueLanguage
dc.contributor.authorAdámek, Jirí-
dc.contributor.authorSobral, Manuela-
dc.contributor.authorSousa, Lurdes-
dc.date.accessioned2009-09-14T09:45:14Z-
dc.date.available2009-09-14T09:45:14Z-
dc.date.issued2005-
dc.identifier.citationPré-Publicações DMUC. 05-24 (2005)en_US
dc.identifier.urihttps://hdl.handle.net/10316/11380-
dc.description.abstractA 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.sponsorshipCentre 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 Viseuen_US
dc.language.isoengen_US
dc.publisherCentro de Matemática da Universidade de Coimbraen_US
dc.rightsopenAccessen_US
dc.titleLogic of implicationsen_US
dc.typepreprinten_US
uc.controloAutoridadeSim-
item.openairecristypehttp://purl.org/coar/resource_type/c_816b-
item.openairetypepreprint-
item.cerifentitytypePublications-
item.grantfulltextopen-
item.fulltextCom Texto completo-
item.languageiso639-1en-
crisitem.author.deptFaculty of Sciences and Technology-
crisitem.author.parentdeptUniversity of Coimbra-
crisitem.author.researchunitCMUC - Centre for Mathematics of the University of Coimbra-
crisitem.author.orcid0000-0001-9289-6147-
crisitem.author.orcid0000-0003-0100-1673-
Appears in Collections:FCTUC Matemática - Artigos em Revistas Nacionais
Files in This Item:
File Description SizeFormat
Logic of implications.pdf207.42 kBAdobe PDFView/Open
Show simple item record

Page view(s)

182
checked on Apr 23, 2024

Download(s)

46
checked on Apr 23, 2024

Google ScholarTM

Check


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