Skip to main content
SpringerLink
Log in

Tableau systems for paraconsistency and minimal inconsistency

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

In this paper, the semantics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistent logic and minimal tableaux for logic of minimal inconsistency is proposed. Finally, the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.

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.

Similar content being viewed by others

References

  1. Priest G. Logic of paradox.J. of Philosophical Logic, 1979, 8: 219–241.

    MATH  MathSciNet  Google Scholar 

  2. Priest Get al. (Eds.). Paraconsistent Logic: Essays in the Inconsistency. Philosophia Verlag, 1989.

  3. Priest G. Minimally Inconsistent LP.Studia Logica, L, 1991, 2: 321–331.

    Article  MathSciNet  Google Scholar 

  4. Lin Z, Li W. A note on tableaux for logic of paradox. Lecture Note in Artificial Intelligence, 1994.

  5. McCarthy J. Circumscription—A Form of Nonmonotonic Reasoning.Artificial Intelligence, 1980, 13.

  6. Ginsberg M (Ed.). Readings in Nonmonotonic Reasoning. Morgan Kaufmann, 1987.

  7. Smullyan M. First-Order Logic. Springer Verlag, 1968.

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Peking University, 100871, Beijing, P.R. China

    Lin Zuoquan

Authors
  1. Lin Zuoquan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lin Zuoquan.

Additional information

Supported in part by National ‘863’ Hi-Tech Program, in part by National Key Project of Fundamental Research Climbing Program and in part by National Science Foundation of China.

Lin Zuoquan has been a Professor in Institute of Computer Science, Shantou University since 1994. In 1994, he received his Ph.D. degree in computer science from beijing University of Aeronautics and Astronatics. His areas of research are logic and automated reasoning, knowledge representation and reasoning, software agent/robotics, Internet/Intranet application.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lin, Z. Tableau systems for paraconsistency and minimal inconsistency. J. of Comput. Sci. & Technol. 13, 174–188 (1998). https://doi.org/10.1007/BF02946605

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation