A t-norm logic ℒ* is the logic of a standard algebra [0, 1]* = ([0, 1], *, →*, 0), * being a continuous t-norm and →* its residuum. The notion of canonical t-algebra introduced by Haniková [12] and Esteva-Godo-Montagna [9], the sets-as-signs approach to many-valued tableau systems by Hähnle [10], and finite-valued reduction techniques [2, 3] allow to describe in a uniform way co-NP calculi for all t-norm logics.
Uniform Description of Calculi for All t-norm Logics / Stefano Aguzzoli - In: 34th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2004 : 19-22 May 2004, Toronto, Canada / IEEE Computer Society. - Los Alamitos : IEEE Computer Society Press, 2004. - ISBN 0769521304. - pp. 38-43 (( Intervento presentato al 34th. convegno International Symposium on Multiple-Valued Logic - ISMVL 2004 tenutosi a Toronto, Canada nel 2004.
Uniform Description of Calculi for All t-norm Logics
Stefano Aguzzoli
2004
Abstract
A t-norm logic ℒ* is the logic of a standard algebra [0, 1]* = ([0, 1], *, →*, 0), * being a continuous t-norm and →* its residuum. The notion of canonical t-algebra introduced by Haniková [12] and Esteva-Godo-Montagna [9], the sets-as-signs approach to many-valued tableau systems by Hähnle [10], and finite-valued reduction techniques [2, 3] allow to describe in a uniform way co-NP calculi for all t-norm logics.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
