Urquhart, Alasdair Comments on the contributions. (English) Zbl 07469225 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 571-586 (2022). MSC: 03Bxx 03Gxx PDFBibTeX XMLCite \textit{A. Urquhart}, Outst. Contrib. Log. 22, 571--586 (2022; Zbl 07469225) Full Text: DOI
Urquhart, Alasdair Distributive lattices with a dual homomorphic operation. II. (English) Zbl 0511.06007 Stud. Log. 40, 391-404 (1981). MSC: 06D30 08B15 PDFBibTeX XMLCite \textit{A. Urquhart}, Stud. Log. 40, 391--404 (1981; Zbl 0511.06007) Full Text: DOI
Urquhart, Alasdair Distributive lattices with a dual homomorphic operation. (English) Zbl 0425.06008 Stud. Log. 38, 201-209 (1979). MSC: 06D30 06D05 06F30 03G10 08B05 PDFBibTeX XMLCite \textit{A. Urquhart}, Stud. Log. 38, 201--209 (1979; Zbl 0425.06008) Full Text: DOI