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 × Cite Format Result Cite Review PDF
Sofronie-Stokkermans, Viorica Priestley duality for \(\text{SH}n\)-algebras and applications to the study of Kripke-style models for \(\text{SH}n\)-logics. (English) Zbl 0992.03084 Mult.-Valued Log. 5, No. 4, 281-305 (2000). MSC: 03G20 03B45 03B50 × Cite Format Result Cite Review PDF