Bofill, Miquel; Manyà, Felip; Vidal, Amanda; Villaret, Mateu New complexity results for Łukasiewicz logic. (English) Zbl 1418.03114 Soft Comput. 23, No. 7, 2187-2197 (2019). MSC: 03B50 03B35 PDF BibTeX XML Cite \textit{M. Bofill} et al., Soft Comput. 23, No. 7, 2187--2197 (2019; Zbl 1418.03114) Full Text: DOI
Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction. (English) Zbl 1315.03035 J. Autom. Reasoning 49, No. 4, 493-550 (2012). MSC: 03B50 03B52 68T20 90C11 PDF BibTeX XML Cite \textit{S. Schockaert} et al., J. Autom. Reasoning 49, No. 4, 493--550 (2012; Zbl 1315.03035) Full Text: DOI
He, Xingxing; Xu, Yang; Liu, Jun; Chen, Shuwei On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic. (English) Zbl 1255.03026 Soft Comput. 16, No. 4, 699-709 (2012). MSC: 03B35 03B52 68T15 68T37 PDF BibTeX XML Cite \textit{X. He} et al., Soft Comput. 16, No. 4, 699--709 (2012; Zbl 1255.03026) Full Text: DOI
Xu, Yang; Liu, Jun; Ruan, Da; Li, Xiaobing Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\). (English) Zbl 1239.03007 Inf. Sci. 181, No. 10, 1836-1862 (2011). Reviewer: Viorica Sofronie-Stokkermans (Koblenz) MSC: 03B35 03B50 03B52 68T15 PDF BibTeX XML Cite \textit{Y. Xu} et al., Inf. Sci. 181, No. 10, 1836--1862 (2011; Zbl 1239.03007) Full Text: DOI
Golińska-Pilarek, Joanna; Orłowska, Ewa Dual tableau for monoidal triangular norm logic MTL. (English) Zbl 1216.03045 Fuzzy Sets Syst. 162, No. 1, 39-52 (2011). Reviewer: Michał Baczyński (Katowice) MSC: 03B52 PDF BibTeX XML Cite \textit{J. Golińska-Pilarek} and \textit{E. Orłowska}, Fuzzy Sets Syst. 162, No. 1, 39--52 (2011; Zbl 1216.03045) Full Text: DOI
Fermüller, Christian G.; Metcalfe, George Giles’s game and the proof theory of Łukasiewicz logic. (English) Zbl 1185.03041 Stud. Log. 92, No. 1, 27-61 (2009). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B52 03F03 PDF BibTeX XML Cite \textit{C. G. Fermüller} and \textit{G. Metcalfe}, Stud. Log. 92, No. 1, 27--61 (2009; Zbl 1185.03041) Full Text: DOI
Sofronie-Stokkermans, Viorica Automated theorem proving by resolution in non-classical logics. (English) Zbl 1130.03010 Ann. Math. Artif. Intell. 49, No. 1-4, 221-252 (2007). Reviewer: Nail Zamov (Kazan) MSC: 03B35 PDF BibTeX XML Cite \textit{V. Sofronie-Stokkermans}, Ann. Math. Artif. Intell. 49, No. 1--4, 221--252 (2007; Zbl 1130.03010) Full Text: DOI
Smutná-Hliněná, Dana; Vojtáš, Peter Graded many-valued resolution with aggregation. (English) Zbl 1054.03021 Fuzzy Sets Syst. 143, No. 1, 157-168 (2004). Reviewer: Vladimir Komendantsky (Cork) MSC: 03B50 03B35 03B52 68T15 PDF BibTeX XML Cite \textit{D. Smutná-Hliněná} and \textit{P. Vojtáš}, Fuzzy Sets Syst. 143, No. 1, 157--168 (2004; Zbl 1054.03021) Full Text: DOI
Aguzzoli, Stefano The complexity of McNaughton functions of one variable. (English) Zbl 0911.03004 Adv. Appl. Math. 21, No. 1, 58-77 (1998). Reviewer: D.Mundici (Milano) MSC: 03B35 03B50 68W30 68T15 PDF BibTeX XML Cite \textit{S. Aguzzoli}, Adv. Appl. Math. 21, No. 1, 58--77 (1998; Zbl 0911.03004) Full Text: DOI