Publications

T-norm Based Logics With n-Contraction

Publication Type:

Journal Article

Authors:

Agata Ciabattoni; Francesc Esteva; Lluís Godo

Source:

Neural Network World, Volume 12, Number 5, p.441-452 (2002)

Abstract:

We consider two families of fuzzy propositional logics obtained by extending MTL and IMTL with the n-contraction axiom, for n>=2. These logics - called Cn-MTL and Cn-IMTL - range from Gödel and classical logic (when n=2) to MTL and IMTL (when n tends to infinity), respectively. We investigate the t-norm based semantics and the proof theory for Cn-MTL and Cn-IMTL. We show standard completeness and suitable analytic hipersequent calculi for them.

Projects: 
LOGFAC
»