Author(s):
Adámek, Jirí 
; Sobral, Manuela ; Sousa, Lurdes
Date: 2005
Persistent ID: http://hdl.handle.net/10316/11380
Origin: Estudo Geral - Universidade de Coimbra
Document details
Logic of implications
Description
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. 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
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. 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
Document Type
Preprint
Language English
Language English
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||