Disjunction Property and Complexity of Substructural Logics

Horčík, Rostislav - Terui, K.
Disjunction Property and Complexity of Substructural Logics.
Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. ISSN 0304-3975. E-ISSN 1879-2294
Impakt faktor: 0.665, rok: 2011
http://hdl.handle.net/11104/0202825

Citováno: 15

--- 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.
--- HANIKOVA, Z. Varieties Generated by Standard BL-Algebras. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS. ISSN 0167-8094, MAR 2014, vol. 31, no. 1, p. 15-33. [WOS]
--- JENEI, S. - MONTAGNA, F. Strongly involutive uninorm algebras. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 2013, vol. 23, no. 3, p. 707-726. [WOS]
--- BOVA, S. - MONTAGNA, F. Polynomial space hardness without disjunction property. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, JAN 7 2013, vol. 467, p. 1-11. [WOS]
--- ILIC, M. - BORICICI, B. A cut-free sequent calculus for relevant logic RW*. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, AUG 2014, vol. 22, no. 4, p. 673-695. [WOS]
--- Buszkowski, W. An interpretation of Full Lambek Calculus in its variant without empty antecedents of sequents. Volume 8535 LNCS, 2014, Pages 30-43. [SCOPUS]
--- Buszkowski, W. Multi-sorted residuation. Volume 8222 LNCS, 2014, Pages 136-155. [SCOPUS]
--- CIABATTONI, A. - LELLMANN, B. - OLARTE, C. - PIMENTEL, E. From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. ISSN 1571-0661, JUN 11 2017, vol. 332, p. 75-93. [WOS]
--- HANIKOVA, Z. Complexity of some language fragments of fuzzy logics. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, SI, p. 69-77. [WOS]
--- BONGINI, M. - CIABATTONI, A. - MONTAGNA, F. Proof search and Co-NP completeness for many-valued logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 1 2016, vol. 292, SI, p. 130-149. [WOS]
--- FROSONI, G. Conuclear images of substructural logics. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, MAY 2016, vol. 62, no. 3, p. 204-214. [WOS]
--- BUSZKOWSKI, W. Some Syntactic Interpretations in Different Systems of Full Lambek Calculus. MODALITY, SEMANTICS AND INTERPRETATIONS: THE SECOND ASIAN WORKSHOP ON PHILOSOPHICAL LOGIC. 2015, p. 23-48. [WOS]
--- CITKIN, A. A Generalization of Maksimova's Criterion for the Disjunction Property. LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. ISSN 2211-2766, 2018, vol. 15, p. 99-115. [WOS]
--- HANIKOVA, Z. Complexity of some language fragments of fuzzy logics. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, p. 69-77. [WOS]