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 SizeFormat
Logic of implications.pdf207.42 kBAdobe PDFView/Open
Show full item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.