Please use this identifier to cite or link to this item: http://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: http://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

Page view(s)

45
checked on Apr 17, 2019

Download(s)

10
checked on Apr 17, 2019

Google ScholarTM

Check


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