On Product Logic with Truth-Constants

0045161 - ÚI 2007 RIV GB eng J - Journal Article
Savický, Petr - Cignoli, R. - Esteva, F. - Godo, L. - Noguera, C.
On Product Logic with Truth-Constants.
[O produktové logice s pravdivostními konstantami.]
Journal of Logic and Computation. Roč. 16, č. 2 (2006), s. 205-225. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA MŠMT 1M0545
Keywords : non-classical logic * fuzzy logic * product logic * truth-constants * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.840, year: 2006

Cited: 14

--- CINTULA, P. - HAJEK, P. Triangular norm based predicate fuzzy logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, FEB 1 2010, vol. 161, no. 3, Sp. Iss. SI, p. 311-346. [WOS]
--- MARCHIONI, E. On Computational Complexity of Semilinear Varieties. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2008, vol. 18, no. 6, p. 941-958. [WOS]
--- SU, W.L. - BOUGIOUKLIS, T.C. Modeling of Data Fusion Algorithms in Cluster-based Wireless Sensor Networks. 2008 42ND ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS, VOLS 1-4. ISSN 1058-6393, 2008, p. 868-872. [WOS]
--- HANIKOVA, Z. Expanding Basic Fuzzy Logic with truth constants for component delimiters. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 16 2012, vol. 197, p. 95-107. [WOS]
--- NOVAK, V. Reasoning about mathematical fuzzy logic and its future. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, APR 1 2012, vol. 192, SI, p. 25-44. [WOS]
--- Behounek, L. - Cintula, P. - Hajek, P. Introduction to Mathematical Fuzzy Logic. Handbook of Mathematical Fuzzy Logic - Vol. 1. London : College Publications, 2011, P. 2-101. ISBN 978-1-84890-039-4.
--- Hanikova, Z. Free Computational Complexity of Propositional Fuzzy Logics. Handbook of Mathematical Fuzzy Logic - Vol. 2. London : College Publications, 2011, P. 793-851. 978-1-84890-054-7.
--- TURUNEN, E. - NAVARA, M. Infinitesimals and Pavelka logic. PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY. ISSN 1951-6851, 2015, vol. 89, p. 1027-1033. [WOS]
--- TURUNEN, E. - NAVARA, M. Perfect Pavelka Logic. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 1 2016, vol. 292, SI, p. 396-410. [WOS]
--- GULLER, D. Unsatisfiable Formulae of Godel Logic with Truth Constants and Delta Are Recursively Enumerable. COMPUTATIONAL INTELLIGENCE, IJCCI 2014. ISSN 1860-949X, 2016, vol. 620, p. 213-234. [WOS]
--- GULLER, D. On the Deduction Problem in Godel and Product Logics. COMPUTATIONAL INTELLIGENCE, IJCCI 2013. ISSN 1860-949X, 2016, vol. 613, p. 299-321. [WOS]
--- GULLER, D. Hyperresolution for Godel logic with truth constants. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAY 15 2019, vol. 363, p. 1-65. [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]
--- GULLER, D. Expanding Godel Logic with Truth Constants and the Equality, Strict Order, Delta Operators. COMPUTATIONAL INTELLIGENCE, IJCCI 2015. ISSN 1860-949X, 2017, vol. 669, p. 241-269. [WOS]

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