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 |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.