Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/160046
COMPARTIR / EXPORTAR:
SHARE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Axiomatizing monoidal logic: A correction |
Autor: | Gottwald, Siegfried; García-Cerdaña, Àngel CSIC ORCID ; Bou, Felix CSIC | Palabras clave: | Monoidal logic Residuated lattices T-norm | Fecha de publicación: | 2003 | Editor: | Old City Publishing | Citación: | Journal of Multiple-Valued Logic and Soft Computing 9: 427- 433 (2003) | Resumen: | The 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. | URI: | http://hdl.handle.net/10261/160046 | Identificadores: | issn: 1542-3980 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
accesoRestringido.pdf | 15,38 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
Page view(s)
215
checked on 19-abr-2024
Download(s)
30
checked on 19-abr-2024
Google ScholarTM
Check
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.