English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/160046
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


Axiomatizing monoidal logic: A correction

AuthorsGottwald, Siegfried; García-Cerdaña, Àngel ; Bou, Felix
KeywordsMonoidal logic Residuated lattices T-norm
Issue Date2003
PublisherOld City Publishing
CitationJournal of Multiple-Valued Logic and Soft Computing 9: 427- 433 (2003)
AbstractThe propositional monoidal logic ML of U. Höhle, determined through an algebraic semantics given by the class of all residuated lattices, was (claimed to be) reaxiomatized in the recent monograph [5]. We show that this reaxiomatization is defective and prove the independence of one of U. Höhle's original axioms from the axioms in [5]. Additionally the axiomatization in [5] is completed.
Identifiersissn: 1542-3980
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.