论文信息 - Axiomatizing Monoidal Logic: A Correction - 字舞流文

Axiomatizing Monoidal Logic: A Correction

The third author is partially supported by Catalan grant 2000FI00100 and by Spanish grant 2000SGR00007.

Siegfried Gottwald | Félix Bou | Àngel García-Cerdaña

[1] S. Gottwald. A Treatise on Many-Valued Logics , 2001 .

[2] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[3] Lluis Godo,et al. Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[4] S. Gottwald. On some simplifications of the axiomatization of monoidal logic , 2002 .

[5] Hiroakira Ono,et al. Logics without the contraction rule , 1985, Journal of Symbolic Logic.

[6] Franco Montagna,et al. A Proof of Standard Completeness for Esteva and Godo's Logic MTL , 2002, Stud Logica.

[7] Ventura Verdú,et al. On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion , 2000, Stud Logica.

[8] Angus Macintyre,et al. Trends in Logic , 2001 .

[9] Rudolf Kruse,et al. Fuzzy-systems in computer science , 1994 .

[10] Lluis Godo,et al. Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[11] Petr Hájek,et al. A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..