Logic of implications
Jiřı́ Adámek, Manuela Sobral, Lurdes Sousa · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2005
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.