Skip to main content
SpringerLink
Log in

Paraconsistent structure inside of many-valued logic

  • Published:
Synthese Aims and scope Submit manuscript

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Anshakov, O. M. and Rychkov, S. V.: 1982, ‘On Multivalued Logical Calculi’, Sov. Math. Dokl. 25, 599–602. (Translation from Dokl. Akad. Nauk SSSR 264, (1982), 267–270).

    Google Scholar 

  2. Arruda, A. I.: 1979, ‘A Survey of Paraconsistent Logic’, in Mathematical Logic in Latin America, Amsterdam, pp. 1–41.

  3. Asenjo, F. G. and Tamburino, J.: 1975, ‘Logic of Antinomies’, Notre Dame Journal of Formal Logic 16.

  4. Bochvar, D. A.: 1938, ‘On a Three-Valued Calculus and Its Application to Analysis of Paradoxes of Classical Extended Functiona Calculus’, Mathematicheskii Sbornik 4, 287–308 (in Russian).

    Google Scholar 

  5. Costa, N. C. A. da, and Alves E. H.: 1981, ‘Relations Between Paraconsistent Logic and Many-Valued Logic’, Bulletin of the Section of Logic 10, 185–191.

    Google Scholar 

  6. Ebbinghaus, H.-D.: 1969, ‘Über eine Pradikatenlogik mit partiell definierten Pradikaten und Funktionen’, Arch. Mat. Logik Grundlagenforsch. 12, S. 39–53.

    Google Scholar 

  7. Finn, V. K., Anshakov, O. M., Grigolia, R. Sh., and Zabezhailo, M. I.: 1982, ‘Many-Valued Logics as Fragments of Formalized Semantics’, Acta Philosophica Fennica 35, 239–272.

    Google Scholar 

  8. Goddard, L. and Routley, R.: 1973, ‘The Logic of Significance and Context’, Edinburgh, London.

    Google Scholar 

  9. Grigolia, R. Sh. and Finn, V. K.: 1979, ‘B n -Algebras and the Corresponding Propositional Calculi’, Semiotica i informatica 12, 46–52 (in Russian).

    Google Scholar 

  10. Halldén, S.: 1949, ‘The Logic of Nonsense’, Uppsala.

  11. Jaskowski, S.: 1969, ‘Propositional Calculus for Contradictory Deductive Systems’, Studia Logica 24, 143–157.

    Google Scholar 

  12. Kotas, J. and Costa, N. C. da: 1978, ‘On the Problem of Jaskowski and the Logics of Lukasiewicz’, in Mathematical Logic, Proceedings of the first Brazilian Conference, New York, pp. 127–139.

  13. Lukasiewicz, J. and Tarski, A.: 1970, ‘Investigations into the Sentential Calculus’, in J. Lukasiewicz, Selected Works, Amsterdam, pp. 131–152.

  14. Moisil, G. C.: 1941, ‘Notes sur les logiques non chrizippiennes’, Ann. Sci. Univ. Iassy 27, 80.

    Google Scholar 

  15. Post, E. L.: 1967, ‘Introduction to a General Theory of Elementary Propositions’, in From Frege to Gödel, Cambridge, pp. 264–283.

  16. Rescher, N.: 1969, Many-Valued Logic, New York.

  17. Rosser, J. B. and Turquette, A. R.: 1952, Many-Valued Logics, Amsterdam.

  18. Segerberg, K.: 1965, ‘A Contribution to Nonsense-Logic’, Theoria 31, 199–217.

    Google Scholar 

  19. Sette, A. M.: 1973, ‘On Propositional Calculus P 1’, Mathematical Japonicae 16, 173–180.

    Google Scholar 

  20. Yablonskii, S. V.: 1958, ‘Functional Constructions in k-Valued Logic’, Proceedings of the Steklov Institute of Mathematics 51, 5–142 (in Russian).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Philosophy Department of Logic, Academy of Science of USSR, Moscow

    A. S. Karpenko

Authors
  1. A. S. Karpenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Karpenko, A.S. Paraconsistent structure inside of many-valued logic. Synthese 66, 63–69 (1986). https://doi.org/10.1007/BF00413579

Download citation

  • Issue Date:

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

Keywords

Search

Navigation