Logic of implications

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.fulltext	Com Texto completo	-
item.grantfulltext	open	-
item.languageiso639-1	en	-
item.cerifentitytype	Publications	-
item.openairetype	preprint	-
item.openairecristype	http://purl.org/coar/resource_type/c_816b	-
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

File	Description	Size	Format
Logic of implications.pdf		207.42 kB	Adobe PDF	View/Open

Check