Axiomatizing monoidal logic: A correction

Journal of Multiple-Valued Logic and Soft Computing

Volumn 9, Issue 4, 2003, Pages 427-433

  Gottwald, Siegfried ^a   Garcia Cerdaña, Àngel ^b   Bou, Félix ^c  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

^c UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Monoidal logic; Residuated lattices; T norm

Indexed keywords

ALGEBRA; FUNCTIONS; FUZZY SETS; SEMANTICS; THEOREM PROVING;

MONOIDAL LOGIC; RESIDUAL LATTICES; T-NORM LOGIC;

MANY VALUED LOGICS;

EID: 1542365214     PISSN: 15423980     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Adillon, R.J. and Verdú, V. (2000). On a contraction-less intuitionistic propositional logic with conjunction and fusion. Studia Logica, 65, 11-30.
2. Cignoli, R., Esteva, F., Godo, L. and Torrens, A. (2000). Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Computing, 4, 106-112.
3. Esteva, F. and Godo, L. (2001). Monoidal t-norm based Logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 124, 271-288.
4. Gottwald, S. (2002). On some simplifications of the axiomatization of monoidal logic. In: Technologies for Constructing Intelligent Systems- IPMU '2000, Selected Papers (B. Bouchon-Meunier et al. eds.). Vol. 2: Tools, Springer, Heidelberg, 407-415 (in print).
5. Gottwald, S. (2001). A Treatise on Many-Valued Logics. Studies in Logic and Computation, Research Studies Press, Baldock, Hertfordshire, UK.
6. Hájek, P. (1998). Metamathematics of Fuzzy Logic. Trends in Logic. vol. 4, Kluwer, Dordrecht.
7. Hájek, P., Godo, L. and Esteva, F. (1996). A complete many-valued logic with product-conjunction. Arch. Math. Logic, 35, 191-208.
8. Höhle, U. (1994). Monoidal logic, in: R. Kruse/J. Gebhardt/R. Palm (eds.), Fuzzy Systems in Computer Science. Vieweg, Wiesbaden, 233-243.
9. Jenei, S. and Montagna, F. (2002). A proof of standard completeness of Esteva and Godo's monoidal logic MTL. Studia Logica, 70, 183-192.
10. Ono, H. and Komori, Y. (1985). Logics without the contraction rule. J. Symbolic Logic, 50, 169-201.