Sofronie-Stokkermans, Viorica Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators. (English) Zbl 1019.03003 Mult.-Valued Log. 6, No. 3-4, 289-344 (2001). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B35 03B50 06D50 68T15 PDFBibTeX XMLCite \textit{V. Sofronie-Stokkermans}, Mult.-Valued Log. 6, No. 3--4, 289--344 (2001; Zbl 1019.03003)
Manyà, Felip The 2-SAT problem in signed CNF-formulas. (English) Zbl 0992.03014 Mult.-Valued Log. 5, No. 4, 307-325 (2000). MSC: 03B25 03B50 68Q25 03D15 03B35 PDFBibTeX XMLCite \textit{F. Manyà}, Mult.-Valued Log. 5, No. 4, 307--325 (2000; Zbl 0992.03014)
Konikowska, Beata Natural deduction systems for Rosser-Turquette many-valued logic. (English) Zbl 0948.03016 Mult.-Valued Log. 4, No. 3, 181-205 (1999). Reviewer: A.Hoogewijs (Gent) MSC: 03B50 03B22 03B35 PDFBibTeX XMLCite \textit{B. Konikowska}, Mult.-Valued Log. 4, No. 3, 181--205 (1999; Zbl 0948.03016)