Grzelak, Aleksandra; Leszczyńska-Jasion, Dorota Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs. (English) Zbl 1499.03010 Log. J. IGPL 26, No. 1, 109-148 (2018). MSC: 03B35 03B05 PDF BibTeX XML Cite \textit{A. Grzelak} and \textit{D. Leszczyńska-Jasion}, Log. J. IGPL 26, No. 1, 109--148 (2018; Zbl 1499.03010) Full Text: DOI OpenURL
Kremer, Philip Completeness of second-order propositional S4 and H in topological semantics. (English) Zbl 1475.03079 Rev. Symb. Log. 11, No. 3, 507-518 (2018). Reviewer: Grigory K. Olkhovikov (Bochum) MSC: 03B45 03B20 03B16 PDF BibTeX XML Cite \textit{P. Kremer}, Rev. Symb. Log. 11, No. 3, 507--518 (2018; Zbl 1475.03079) Full Text: DOI OpenURL
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel Modal logics of metric spaces. (English) Zbl 1371.03022 Rev. Symb. Log. 8, No. 1, 178-191 (2015). MSC: 03B45 54E35 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., Rev. Symb. Log. 8, No. 1, 178--191 (2015; Zbl 1371.03022) Full Text: DOI OpenURL
Grandis, Marco Homological algebra. The interplay of homology with distributive lattices and orthodox semigroups. (English) Zbl 1280.18001 Hackensack, NJ: World Scientific (ISBN 978-981-4407-06-9/hbk; 978-981-4407-07-6/ebook). xi, 369 p. (2012). Reviewer: Ross H. Street (North Ryde) MSC: 18-02 18Gxx 18D05 18E10 18G50 PDF BibTeX XML Cite \textit{M. Grandis}, Homological algebra. The interplay of homology with distributive lattices and orthodox semigroups. Hackensack, NJ: World Scientific (2012; Zbl 1280.18001) Full Text: DOI OpenURL
Maksimova, Larisa Definability and interpolation in non-classical logics. (English) Zbl 1101.03027 Stud. Log. 82, No. 2, 271-291 (2006). MSC: 03C40 03B45 03B55 03G99 PDF BibTeX XML Cite \textit{L. Maksimova}, Stud. Log. 82, No. 2, 271--291 (2006; Zbl 1101.03027) Full Text: DOI OpenURL
Mints, Grigori S4 is topologically complete for \((0,1)\): a short proof. (English) Zbl 1112.03016 Log. J. IGPL 14, No. 1, 63-71 (2006). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B45 PDF BibTeX XML Cite \textit{G. Mints}, Log. J. IGPL 14, No. 1, 63--71 (2006; Zbl 1112.03016) Full Text: DOI OpenURL
Petermann, Uwe On the practical value of Herbrand disjunctions. (English) Zbl 1005.03014 Log. Log. Philos. 8, 153-180 (2000). MSC: 03B35 PDF BibTeX XML Cite \textit{U. Petermann}, Log. Log. Philos. 8, 153--180 (2000; Zbl 1005.03014) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{B. Konikowska}, Mult.-Valued Log. 4, No. 3, 181--205 (1999; Zbl 0948.03016) OpenURL
Rasiowa, Helena Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. (English) Zbl 0738.68073 Int. J. Approx. Reasoning 5, No. 4, 415-432 (1991). MSC: 68T15 03B35 PDF BibTeX XML Cite \textit{H. Rasiowa}, Int. J. Approx. Reasoning 5, No. 4, 415--432 (1991; Zbl 0738.68073) Full Text: DOI OpenURL