Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/11380| Título: | Logic of implications | Autor: | Adámek, Jirí Sobral, Manuela Sousa, Lurdes |
Data: | 2005 | Editora: | Centro de Matemática da Universidade de Coimbra | Citação: | Pré-Publicações DMUC. 05-24 (2005) | Resumo: | 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. | URI: | https://hdl.handle.net/10316/11380 | Direitos: | openAccess |
| Aparece nas coleções: | FCTUC Matemática - Artigos em Revistas Nacionais |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| Logic of implications.pdf | 207.42 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
183
Visto em 7/mai/2024
Downloads
47
Visto em 7/mai/2024
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.