Anshakov, O. M.; Rychkov, S. V. On a way of the formalization and classification of many-valued logics. (Russian) Zbl 0562.03012 Semiotika Inf. 23, 78-106 (1984). Reviewer: A.S.Karpenko MSC: 03B50 PDFBibTeX XMLCite \textit{O. M. Anshakov} and \textit{S. V. Rychkov}, Semiotika Inf. 23, 78--106 (1984; Zbl 0562.03012)
Finn, V. K. On the machine-oriented formalization of plausible reasonings in F. Bacon - D. S. Mill style. (Russian) Zbl 0521.03012 Semiotika Inf. 20, 35-101 (1983). MSC: 03B50 03B48 PDFBibTeX XMLCite \textit{V. K. Finn}, Semiotika Inf. 20, 35--101 (1983; Zbl 0521.03012)
Anshakov, O. M.; Rychkov, S. V. On many-valued logical calculi. (Russian) Zbl 0501.03012 Semiotika Inf. 19, 90-117 (1982). MSC: 03B50 PDFBibTeX XMLCite \textit{O. M. Anshakov} and \textit{S. V. Rychkov}, Semiotika Inf. 19, 90--117 (1982; Zbl 0501.03012)
Anshakov, O. M. The logic \(B_ 3\) and Boolean algebras. (Russian) Zbl 0536.03010 Semiotika Inf. 16, 8-13 (1981). Reviewer: M.Pałasiński MSC: 03B50 03G05 PDFBibTeX XMLCite \textit{O. M. Anshakov}, Semiotika Inf. 16, 8--13 (1981; Zbl 0536.03010)
Anshakov, O. M.; Finn, V. K. So-called fuzzy logics and calculi with one implication. (Russian) Zbl 0485.03009 Semiotika Inf. 17, 71-89 (1981). MSC: 03B50 03B52 PDFBibTeX XMLCite \textit{O. M. Anshakov} and \textit{V. K. Finn}, Semiotika Inf. 17, 71--89 (1981; Zbl 0485.03009)
Finn, V. K.; Anshakov, O. M.; Grigoliya, R. Sh.; Zabezhajlo, M. I. Many-valued logics as fragments of formalized semantics. (Russian) Zbl 0463.03011 Semiotika Inf. 15, 27-60 (1980). MSC: 03B60 03B50 03C99 03B45 PDFBibTeX XMLCite \textit{V. K. Finn} et al., Semiotika Inf. 15, 27--60 (1980; Zbl 0463.03011)
Anshakov, O. M. On a certain constructivization of D. A. Bochvar’s propositional logic. (Russian) Zbl 0459.03012 Semiotika Inf. 15, 61-73 (1980). MSC: 03B50 03F50 PDFBibTeX XMLCite \textit{O. M. Anshakov}, Semiotika Inf. 15, 61--73 (1980; Zbl 0459.03012)