About Axiomatic Systems of Product Fuzzy Logic

0404471 - UIVT-O 20020019 RIV DE eng J - Journal Article
Cintula, Petr
About Axiomatic Systems of Product Fuzzy Logic.
Soft Computing. Roč. 5, č. 3 (2001), s. 243-244. ISSN 1432-7643. E-ISSN 1433-7479
Keywords : fuzzy logic * many-valued logic * product logic
Subject RIV: BA - General Mathematics

Cited: 22

--- Esteva F, 2001, Godo L. On complete residuated many-valued logics with t-norm conjunction. Proceedings of 31st IEEE International Symposium on Multiple-Valued Logic. Los Alamitos : IEEE, p. 81-86
--- Navara M, 2002, Olšák P. Základy fuzzy množin. Skripta. Praha : ČVUT,
--- Gerla B. Many-valued logics of continuous t-norms and their functional representation. Tesi di Dottorato. Milano : Dipartimento di Scienze dell'Informazione,
--- Jipsen P. An overview of generalized basic logic algebras. Neural Network World, 2003, vol. 13, p. 491-500
--- Metcalfe G, Olivetti N, Gabbay D. Proof theory for product logics. Neural Network World, 2003, vol. 13, p. 549-558
--- Metcalfe G. Proof theory for propositional fuzzy logics. Dissertation. london : King's College,
--- Haniková Z. Mathematical and Metamathematical Properties of Fuzzy Logic. PhD Thesis. Prague : Charles University,
--- MONTAGNA, F. - NOGUERA, C. - HORCIK, R. On weakly cancellative fuzzy logics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, AUG 2006, vol. 16, no. 4, p. 423-450. [WOS]
--- SAVICKY, P. - CIGNOLI, R. - ESTEVA, F. - GODO, L. - NOGUERA, C. On product logic with truth-constants. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2006, vol. 16, no. 2, p. 205-225. [WOS]
--- BUTNARIU, D. - KLEMENT, E.P. - MESIAR, R. - NAVARA, M. Sufficient triangular norms in many-valued logics with standard negation. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, OCT 2005, vol. 44, no. 7, p. 829-849. [WOS]
--- WANG, S.M. - WANG, M.Y. Disjunctive elimination rule and its application in MTL. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 16 2006, vol. 157, no. 24, p. 3169-3176. [WOS]
--- METCALFE, G. - OLIVETTI, N. - GABBAY, D. Analytic calculi for product logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, OCT 2004, vol. 43, no. 7, p. 859-889. [WOS]
--- ESTEVA, F. - GODO, L. - GARCIA-CERDANA, A. On the hierarchy of t-norm based residuated fuzzy logics. BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC. ISSN 1434-9922, 2003, vol. 114, p. 251-272. [WOS]
--- DI NOLA, A. - ESTEVA, F. - GARCIA, P. - GODO, L. - SESSA, S. Subvarieties of BL-algebras generated by single-component chains. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, OCT 2002, vol. 41, no. 7, p. 673-685. [WOS]
--- HAJEK, P. Observations on the monoidal t-norm logic. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, NOV 16 2002, vol. 132, no. 1, p. 107-112. [WOS]
--- Hajek, P. Deductive Systems of Fuzzy Logic. In van Benthem, J.; Gupta, A.; Parikh, R. (ed.). Proof, Computation and Agency. Logic at the Crossroad. Dordrecht : Springer. S. 67-78. ISBN 978-94-007-0079-6. 2011.
--- MONIRI, M. - FARAHANI, H. - BORZOOEI, R.A. Logical Characterization of Filters on BL-algebras. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. ISSN 1542-3980, 2013, vol. 20, no. 1-2, p. 75-87. [WOS]
--- AGUZZOLI, S. - FERRAIOLI, A.R. - GERLA, B. A note on minimal axiomatisations of some extensions of MTL. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAY 1 2014, vol. 242, p. 148-153. [WOS]
--- FRIGERI, A. - PASQUALE, L. - SPOLETINI, P. Fuzzy Time in Linear Temporal Logic. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. ISSN 1529-3785, NOV 2014, vol. 15, no. 4. [WOS]
--- VIDAL, A. - ESTEVA, F. - GODO, L. On modal extensions of Product fuzzy logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, FEB 2017, vol. 27, no. 1, p. 299-336. [WOS]
--- Noguera, C. Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Bellaterra Institut d'Investigació en Intel·ligència Artificial, 2007. Monografies de l'Institut d'Investigació en Intel-ligencia Artificial 27. ISBN 978-84-00-08538-4.
--- Krinninger, S. Combining supervaluation and fuzzy logic based theories of vagueness. Wien, 2011. Diploma Thesis. Technische Universität Wien, Fakultät für Informatik. http://hdl.handle.net/20.500.12708/9295.

Permanent Link: http://hdl.handle.net/11104/0124725