Karpenko, Alexander; Tomova, Natalya Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. (English) Zbl 06940664 Log. Log. Philos. 26, No. 2, 207-235 (2017). MSC: 03B50 03B53 PDF BibTeX XML Cite \textit{A. Karpenko} and \textit{N. Tomova}, Log. Log. Philos. 26, No. 2, 207--235 (2017; Zbl 06940664) Full Text: DOI
Rozonoèr, L. I. Proving contradictions in formal theories. II. (English. Russian original) Zbl 0532.03008 Autom. Remote Control 44, No. 7, 908-914 (1983); translation from Avtom. Telemekh. 1983, No. 7, 97-104 (1983). MSC: 03B60 PDF BibTeX XML Cite \textit{L. I. Rozonoèr}, Autom. Remote Control 44, No. 7, 908--914 (1983; Zbl 0532.03008); translation from Avtom. Telemekh. 1983, No. 7, 97--104 (1983)