Abstract
This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.
References
O. M. Anshakov, V. K. Finn and D. P. Skvortsov, On logical means of formalization of plausible inferences, VIII International Congress of Logic, Methodology and Philosophy of Science, Abstracts, Moscow, “Nauka” (1987), pp. 212–215.
O. M. Anshakov, S. V. Rychkov, On many-valued logical calculi, Semiotika i Informatika 19 (1982), pp. 90–117 (in Russian).
O. M. Anshakov, D. P. Skvortsov and V. K. Finn, Logical means of expert systems of JSM-type, Semiotika i Informatika 28 (1986), pp. 65–101 (in Russian).
O. M. Anshakov, D. P. Skvortsov and V. K. Finn, On axiomatization of infinite-valued logics corresponding to JSM-method of generation of hypotheses, IV All-Union Conference “Application of methods of mathematical logic”, Abstracts, Tallinn (1986), pp. 24–26 (in Russian).
V. K. Finn, On machine-orientated formalisation of plausible reasonings in the F. Bacon and J. S. Mill style, Semiotika i Informatika 20 (1982), pp. 35–101 (in Russian).
M. A. Mikheenkova, V. V. Avidon and S. A. Sukhanova, Software implementation of JSM-method of automatic hypotheses generation with a non-one-element set of features, Automatic Documentation and Mathematical Linguistics 18 (1984), no 6, pp. 30–37.
D. P. Skvortsov, On some ways of constructing logical languages with quantifiers over finite sequences of variable length, Semiotika i Informatika 20 (1982), pp. 102–126 (in Russian).
M. I. Zabezhailo, V. K. Finn, V. V. Avidon, T. G. Katamadze, V. G. Blinova, D. A. Bodjagin, D. A. Rabinkov, Experiments on a data-base with incomplete information using the JSM-method of hypotheses generation, Automatic Documentation and Mathematical Linguistics 17 (1983), no 1, pp. 85–93.
Author information
Authors and Affiliations
Additional information
To the memory of Jerzy Słupecki
Rights and permissions
About this article
Cite this article
Anshakov, O.M., Finn, V.K. & Skvortsov, D.P. On axiomatization of many-valued logics associated with formalization of plausible reasonings. Studia Logica 48, 423–447 (1989). https://doi.org/10.1007/BF00370198
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370198