Fuzzy Logic and Arithmetical Hierarchy III

Hájek, Petr
Fuzzy Logic and Arithmetical Hierarchy III.
Studia Logica. Roč. 68, č. 1 (2001), s. 129-142. ISSN 0039-3215. E-ISSN 1572-8730
http://hdl.handle.net/11104/0124243

Citováno: 17

--- Gottwald S. A Treatise on Many-Valued Logics. Baldock : Research Studies Press 2001
--- 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]
--- MONTAGNA, F. On the predicate logics of continuous t-norm BL-algebras. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, JAN 2005, vol. 44, no. 1, p. 97-114. [WOS]
--- GOTTWALD, S. Mathematical fuzzy logics. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, JUN 2008, vol. 14, no. 2, p. 210-239. [WOS]
--- MONTAGNA, F. Notes on strong completeness in Lukasiewicz, product and BL logics and in their first-order extensions. ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS - PAPERS IN HONOR OF DANIELE MUNDICI ON THE OCCASION OF HIS 60TH BIRTHDAY. ISSN 0302-9743, 2007, vol. 4460, p. 247-274. [WOS]
--- DRAGULICI, D. - GEORGESCU, G. Algebraic logic for rational Pavelka predicate calculus. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2001, vol. 47, no. 3, p. 315-326. [WOS]
--- ESTEVA, F. - GODO, L. - MONTAGNA, F. The L Pi and L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JAN 2001, vol. 40, no. 1, p. 39-67. [WOS]
--- GOTTWALD, S. - NOVAK, V. An approach toward consistency degrees of fuzzy theories. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS. ISSN 0308-1079, 2000, vol. 29, no. 4, p. 499-510. [WOS]
--- HORCIK, R. - CINTULA, P. Product Lukasiewicz logic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2004, vol. 43, no. 4, p. 477-503. [WOS]
--- MONTAGNA, F. Storage operators and multiplicative quantifiers in many-valued logics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2004, vol. 14, no. 2, p. 299-322. [WOS]
--- MONTAGNA, F. - SACCHETTI, L. Kripke-style semantics for many-valued logics. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2003, vol. 49, no. 6, p. 629-641. [WOS]
--- MONTAGNA, F. - NOGUERA, C. Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2010, vol. 20, no. 2, p. 399-424. [WOS]
--- JIANG, Y.C. - TANG, Y. - WANG, J. - DENG, P.M. - TANG, S.Q. Expressive fuzzy description logics over lattices. KNOWLEDGE-BASED SYSTEMS. ISSN 0950-7051, MAR 2010, vol. 23, no. 2, p. 150-161. [WOS]
--- Novák, V. A Concise Glance at the History of Fuzzy logic in Czechia (with a Glimpse of the Origin of Data-Mining - the GUHA Method). In Logic in Central and Eastern Europe. History, Science and Discourse. University Press of America 2013, p.526-542
--- BEHOUNEK, L. - HANIKOVA, Z. Set Theory and Arithmetic in Fuzzy Logic. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 63-89. [WOS]
--- CINTULA, P. - HORCIK, R. - NOGUERA, C. The Quest for the Basic Fuzzy Logic. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 245-290. [WOS]
--- GOTTWALD, S. Many-Valued and Fuzzy Logics. SPRINGER HANDBOOK OF COMPUTATIONAL INTELLIGENCE. 2015, p. 7-29. [WOS]