Bílková, Marta; Colacito, Almudena Proof theory for positive logic with weak negation. (English) Zbl 1484.03013 Stud. Log. 108, No. 4, 649-686 (2020). MSC: 03B20 03B05 03F05 03F03 PDFBibTeX XMLCite \textit{M. Bílková} and \textit{A. Colacito}, Stud. Log. 108, No. 4, 649--686 (2020; Zbl 1484.03013) Full Text: DOI arXiv
Bílková, Marta Monotone sequent calculus and resolution. (English) Zbl 1052.03037 Commentat. Math. Univ. Carol. 42, No. 3, 575-582 (2001). Reviewer: Marie Duží (Ostrava) MSC: 03F20 PDFBibTeX XMLCite \textit{M. Bílková}, Commentat. Math. Univ. Carol. 42, No. 3, 575--582 (2001; Zbl 1052.03037) Full Text: EuDML