Autor(es):
Adámek, Jirí 
; Sobral, Manuela ; Sousa, Lurdes
Data: 2005
Identificador Persistente: http://hdl.handle.net/10316/11380
Origem: Estudo Geral - Universidade de Coimbra
Detalhes do Documento
Logic of implications
Descrição
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
Tipo de Documento
Preprint
Idioma Inglês
Idioma Inglês
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||