Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	Logic of implications
Publication Date:	2005
Authors:	- Jirí Adámek - Manuela Sobral - Lurdes Sousa
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. Rosu.
Institution:	DMUC 05-24
Download:	Not available