Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11380| Title: | Logic of implications | Authors: | Adámek, Jirí Sobral, Manuela Sousa, Lurdes |
Issue Date: | 2005 | Publisher: | Centro de Matemática da Universidade de Coimbra | Citation: | Pré-Publicações DMUC. 05-24 (2005) | 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. Ro¸su. | URI: | https://hdl.handle.net/10316/11380 | Rights: | openAccess |
| Appears in Collections: | FCTUC Matemática - Artigos em Revistas Nacionais |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Logic of implications.pdf | 207.42 kB | Adobe PDF | View/Open |
Page view(s)
177
checked on Apr 16, 2024
Download(s)
46
checked on Apr 16, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.