Structural Completeness in Fuzzy Logics

Cintula, Petr - Metcalfe, G.
Structural Completeness in Fuzzy Logics.
Notre Dame Journal of Formal Logic. Roč. 50, č. 2 (2009), s. 153-183. ISSN 0029-4527. E-ISSN 1939-0726
http://hdl.handle.net/11104/0171756

Cited: 25

--- WARNING: citations may occur twice, once with [SCOPUS] tag and once with [WOS] tag
--- JERABEK, E. Bases of Admissible Rules of Lukasiewicz Logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2010, vol. 20, no. 6, p. 1149-1163. [WOS]
--- JERABEK, E. Admissible Rules of Lukasiewicz Logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2010, vol. 20, no. 2, p. 425-447. [WOS]
--- IEMHOFF, R. - ROZIERE, P. UNIFICATION IN INTERMEDIATE LOGICS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2015, vol. 80, no. 3, p. 713-729. [WOS]
--- KOWALSKI, T. BCK is not Structurally Complete. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2014, vol. 55, no. 2, p. 197-204. [WOS]
--- ROTHLISBERGER, C. TAFA - A Tool for Admissibility in Finite Algebras. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013). ISSN 0302-9743, 2013, vol. 8123, p. 250-256. [WOS]
--- Iemhoff, R. - Rozière, P. Unification in intermediate logics. (2015) Journal of Symbolic Logic, 80 (3), pp. 713-729. [SCOPUS]
--- Kowalski, T. BCK is not structurally complete. (2014) Notre Dame Journal of Formal Logic, 55 (2), pp. 197-204. [SCOPUS]
--- Röthlisberger, C. TAFA - A tool for admissibility in finite algebras. (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8123 LNAI, pp. 250-256. [SCOPUS]
--- Röthlisberger, C. Checking admissibility in finite algebras. (2013) CEUR Workshop Proceedings, 954, pp. 133-141. [SCOPUS]
--- Jeřábek, E. Bases of admissible rules of Łukasiewicz logic. (2010) Journal of Logic and Computation, 20 (6), pp. 1149-1163. [SCOPUS]
--- Jeřábek, E. Admissible rules of Łukasiewicz logic. (2010) Journal of Logic and Computation, 20 (2), pp. 425-447. [SCOPUS]
--- OLSON, J.S. - RAFTERY, J.G. - VAN ALTEN, C.J. Structural Completeness in Substructural Logics. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, OCT 2008, vol. 16, no. 5, p. 453-495. [WOS]
--- DZIK, W. - STRONKOWSKI, M.M. Almost structural completeness; an algebraic approach. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JUL 2016, vol. 167, no. 7, p. 525-556. [WOS]
--- RAFTERY, J.G. - SWIRYDOWICZ, K. Structural Completeness in Relevance Logics. STUDIA LOGICA. ISSN 0039-3215, JUN 2016, vol. 104, no. 3, p. 381-387. [WOS]
--- CITKIN, A. Algebraic Logic Perspective on Prucnal's Substitution. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 4, p. 503-521. [WOS]
--- KOWALSKI, T. - HUMBERSTONE, L. An Abelian Rule for BCI-and Variations. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 4, p. 551-568. [WOS]
--- RAFTERY, J.G. Admissible Rules and the Leibniz Hierarchy. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 4, p. 569-606. [WOS]
--- DI NOLA, A. - GRIGOLIA, R. - TURUNEN, E. The Logic of Perfect Algebras. FUZZY LOGIC OF QUASI-TRUTH: AN ALGEBRAIC TREATMENT. ISSN 1434-9922, 2016, vol. 338, p. 71-84. [WOS]
--- IEMHOFF, R. A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 2, p. 233-247. [WOS]
--- DI NOLA, A. - GRIGOLIA, R. - LENZI, G. Structural Completeness and Unification Problem of the Logic of Chang Algebra. AZERBAIJAN JOURNAL OF MATHEMATICS. ISSN 2218-6816, JAN 2016, vol. 6, no. 1, p. 23-38. [WOS]
--- IEMHOFF, R. On Rules. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, DEC 2015, vol. 44, no. 6, p. 697-711. [WOS]
--- CASTANO, D.N. Implicative subreducts of MV-algebras: free and weakly projective objects. ALGEBRA UNIVERSALIS. ISSN 0002-5240, DEC 2017, vol. 78, no. 4, p. 579-600. [WOS]
--- GISPERT, J. Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness. STUDIA LOGICA. ISSN 0039-3215, AUG 2018, vol. 106, no. 4, p. 789-808. [WOS]
--- CITKIN, A. Hereditarily Structurally Complete Superintuitionistic Deductive Systems. STUDIA LOGICA. ISSN 0039-3215, AUG 2018, vol. 106, no. 4, p. 827-856. [WOS]