Logics preserving degrees of truth from varieties of residuated lattices

Logics preserving degrees of truth from varieties of residuated lattices

A wrong argument in the proof of one of the main results in the paper is corrected. The result itself remains true. The right proof incorporates the basic ideas in the originally alleged proof, but in a more restricted construction.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logic and computation 2012-06, Vol.22 (3), p.661-665
Hauptverfasser: Bou, F., Esteva, F., Maria Font, J., Gil, A. J., Godo, L., Torrens, A., Verdu, V.
Format: Artikel
Sprache:eng
Schlagworte:
Computation
Construction
Lattices
Logic
Preserving
Proving
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A wrong argument in the proof of one of the main results in the paper is corrected. The result itself remains true. The right proof incorporates the basic ideas in the originally alleged proof, but in a more restricted construction.
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/exr003