Skip to main content
SpringerLink
Log in

Ideal Paraconsistent Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n.

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

Similar content being viewed by others

References

  1. Anderson, A., and N. Belnap, Entailment, vol. 1, Princeton University Press, 1975.

  2. Arieli O., Avron A.: ‘The value of the four values’. Artificial Intelligence 102(1), 97–141 (1998)

    Article  Google Scholar 

  3. Arieli O., Avron A., Zamansky A.: ‘Maximal and premaximal paraconsistency in the framework of three-valued semantics’. Studia Logica 97(1), 31–60 (2011)

    Article  Google Scholar 

  4. Arieli, O., A. Avron, and A. Zamansky, ‘What is an ideal logic for reasoning with inconsistency?’, in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI’11), AAAI Press, 2011, pp. 706–711.

  5. Avron A.: ‘Natural 3-valued logics: Characterization and proof theory’. Journal of Symbolic Logic 56(1), 276–294 (1991)

    Article  Google Scholar 

  6. Avron, A., O. Arieli, and A. Zamansky, ‘On strong maximality of paraconsistent finite-valued logics’, in Proceedings of the 25th Ann. Symp. on Logic in Computer Science (LICS’10), IEEE Press, 2010, pp. 304–313.

  7. Avron A., Lev I.: ‘Non-deterministic multi-valued structures’. Journal of Logic and Computation 15, 241–261 (2005)

    Article  Google Scholar 

  8. Avron, A., and A. Zamansky, ‘Non-deterministic semantics for logical systems – A survey’, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, Kluwer, 2011. To appear.

  9. Batens D.: ‘Paraconsistent extensional propositional logics’. Logique et Analyse 90-91, 195–234 (1980)

    Google Scholar 

  10. Batens, D., C. Mortensen, G. Priest, and J. Van Bendegem, Frontiers of Paraconsistent Logic, Proceedings of the First World Congress on Paraconsistency, vol. 8 of Studies in Logic and Computation, Research Studies Press, 2000.

  11. Belnap, N., ‘How a computer should think’, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, 1977, pp. 30–56.

  12. Belnap, N., ‘A useful four-valued logic’, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logics, Reidel Publishing Company, 1977, pp. 7–37.

  13. Béziau, J. Y., W. Carnielli, and D. Gabbay, Handbook of Paraconsistency, 2007.

  14. Bremer, M., An Introduction to Paraconsistent Logics, Peter Lang, 2005.

  15. Carnielli, W., M. Coniglio, and I. D’Ottaviano, Paraconsistency: The Logical Way to the Inconsistent – Proceedings of the Second World Congress on Paraconsistency, Marcel Dekker, 2001.

  16. Carnielli, W., M. Coniglio, and J. Marcos, ‘Logics of formal inconsistency’, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 14, Springer, 2007, pp. 1–93. Second edition.

  17. Carnielli W., Marcos J., de Amo S.: ‘Formal inconsistency and evolutionary databases’. Logic and Logical Philosophy 8, 115–152 (2000)

    Google Scholar 

  18. da Costa N.: ‘On the theory of inconsistent formal systems’. Notre Dame Journal of Formal Logic 15, 497–510 (1974)

    Article  Google Scholar 

  19. D’Ottaviano I.: ‘The completeness and compactness of a three-valued first-order logic’. Revista Colombiana de Matematicas XIX(1-2), 31–42 (1985)

    Google Scholar 

  20. Dunn J.M.: ‘Intuitive semantics for first-degree entailments and coupled trees’. Philosophical Studies 29, 149–168 (1976)

    Article  Google Scholar 

  21. Fitting M.: ‘Bilattices and the semantics of logic programming’. Journal of Logic Programming 11(2), 91–116 (1991)

    Article  Google Scholar 

  22. Fitting M.: ‘Kleene’s three valued logics and their children’. Fundamenta Informaticae 20(1-3), 113–131 (1994)

    Google Scholar 

  23. Ginsberg M.: ‘Multi-valued logics: A uniform approach to reasoning in AI’. Computer Intelligence 4, 256–316 (1988)

    Google Scholar 

  24. Gottwald, S., ‘A treatise on many-valued logics’, in Studies in Logic and Computation, vol. 9, Research Studies Press, Baldock, 2001.

  25. Jaśkowski, S., ‘On the discussive conjunction in the propositional calculus for inconsistent deductive systems’, Logic, Language and Philosophy 7:57–59, 1999. Translation of the original paper from 1949.

  26. Karpenko, A., ‘A maximal paraconsistent logic: The combination of two threevalued isomorphs of classical propositional logic’, [10], pp. 181–187.

  27. Kleene, S. C., Introduction to Metamathematics, Van Nostrand, 1950.

  28. Malinowski, G., Many-Valued Logics, Clarendon Press, 1993.

  29. Marcos, J., ‘8K solutions and semi-solutions to a problem of da Costa’, Submitted.

  30. Marcos, J., ‘On a problem of da Costa’, in G Sica, (ed.), Essays on the Foundations of Mathematics and Logic, vol. 2, Polimetrica, 2005, pp. 39–55.

  31. Priest G.: ‘Logic of paradox’. Journal of Philosophical Logic 8, 219–241 (1979)

    Article  Google Scholar 

  32. Priest G.: ‘Reasoning about truth’. Artificial Intelligence 39, 231–244 (1989)

    Article  Google Scholar 

  33. Sette A.M.: ‘On propositional calculus P 1’. Mathematica Japonica 16, 173–180 (1973)

    Google Scholar 

  34. Shoesmith D.J., Smiley T.J.: ‘Deducibility and many-valuedness’. Journal of Symbolic Logic 36, 610–622 (1971)

    Article  Google Scholar 

  35. Shoesmith, D. J., and T. J. Smiley, Multiple Conclusion Logic, Cambridge University Press, 1978.

  36. Urquhart, A., ‘Many-valued logic’, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. II, Kluwer, 2001, pp. 249–295. Second edition.

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, The Academic College of Tel-Aviv, Tel-Aviv, Israel

    O. Arieli

  2. School of Computer Science, Tel-Aviv University, Tel-Aviv, Israel

    A. Avron

  3. Institute for Discrete Mathematics and Geometry, Vienna Technical University, Vienna, Austria

    A. Zamansky

Authors
  1. O. Arieli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Avron
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Zamansky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. Avron.

Additional information

Dedicated to Professor Ryszard Wójcicki on the occasion of his 80th birthday

Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday

Edited by J. Czelakowski, W. Dziobiak, and J. Malinowski

Rights and permissions

Reprints and permissions

About this article

Cite this article

Arieli, O., Avron, A. & Zamansky, A. Ideal Paraconsistent Logics. Stud Logica 99, 31 (2011). https://doi.org/10.1007/s11225-011-9346-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-011-9346-y

Keywords

Search

Navigation