Rozonoèr, L. I. On interpretation of inconsistent theories. (English) Zbl 0677.03019 Inf. Sci. 47, No. 3, 243-266 (1989). Reviewer: L.I.Rozonoehr MSC: 03B60 03B20 PDF BibTeX XML Cite \textit{L. I. Rozonoèr}, Inf. Sci. 47, No. 3, 243--266 (1989; Zbl 0677.03019) 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)