T-norm based logics with n-contraction

Title:

T-norm based logics with n-contraction

Creator:

Ciabattoni, Agata, Esteva, Francesc, and Godo, Lluís

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:30745466-d707-4440-9d2f-30536019d717
uuid:30745466-d707-4440-9d2f-30536019d717

Subject:

t-norm based fuzzy logic, n-contraction, standard completeness, proof theory, and hypersequent calculi

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

We consider two families of fuzzy propositional logics obtained by extendirig 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 cornpleteness and suitable analytic hypersequent calculi for theni.

Language:

English

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Source:

Neural network world: international journal on neural and mass-parallel computing and information systems | 2002 Volume:12 | Number:5

Harvested from:

CDK

Metadata only:

false