Skip to main content
Log in

On axiomatization of many-valued logics associated with formalization of plausible reasonings

Studia Logica Aims and scope Submit manuscript

Abstract

This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. 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.

    Google Scholar 

  2. O. M. Anshakov, S. V. Rychkov, On many-valued logical calculi, Semiotika i Informatika 19 (1982), pp. 90–117 (in Russian).

    Google Scholar 

  3. 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).

    Google Scholar 

  4. 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).

  5. 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).

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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).

    Google Scholar 

  8. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

To the memory of Jerzy Słupecki

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370198

Keywords

Navigation