Nowak, Marek Disjunctive and conjunctive multiple-conclusion consequence relations. (English) Zbl 1484.03015 Stud. Log. 108, No. 6, 1125-1143 (2020). MSC: 03B22 03G10 03G27 06A15 PDFBibTeX XMLCite \textit{M. Nowak}, Stud. Log. 108, No. 6, 1125--1143 (2020; Zbl 1484.03015) Full Text: DOI
Nowak, Marek A proof of Tarski’s fixed point theorem by application of Galois connections. (English) Zbl 1379.06002 Stud. Log. 103, No. 2, 287-301 (2015). MSC: 06B23 06A15 06B05 PDFBibTeX XMLCite \textit{M. Nowak}, Stud. Log. 103, No. 2, 287--301 (2015; Zbl 1379.06002) Full Text: DOI