Skip to main content
SpringerLink
Log in

Introduction

  • Chapter
  • First Online:
Towards Paraconsistent Engineering

Part of the book series: Intelligent Systems Reference Library ((ISRL,volume 110))

  • 540 Accesses

Abstract

Paraconsistent logic is a family of non-classical logics to tolerate inconsistency. Many systems of paraconsistent logics have been developed, and they are now applied to several areas including engineering. Jair Minoro Abe, who is an expert on annotated logics, is one of the important figures in paraconsistent logics. This book collects papers, addressing the importance of paraconsistent logics for several fields.

Dedicated to Jair Minoro Abe for his 60th birthday

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of São Paulo, Brazil (1992)

    Google Scholar 

  2. Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2016)

    MATH  Google Scholar 

  3. Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68, 135–154 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  4. da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 561–570 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  5. da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic \(P{\cal T}\). Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 139–148 (1991)

    Article  MATH  Google Scholar 

  6. Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind-Design, pp. 95–128. MIT Press, Cambridge (1975)

    Google Scholar 

  7. Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173–182 (1987)

    Google Scholar 

Download references

Acknowledgments

I am grateful to Prof. Abe for his comments.

Author information

Authors and Affiliations

  1. C-Republic, 1-20-1 Higashi-Yurigaoka, Asao-ku, Kawasaki, 215-0012, Japan

    Seiki Akama

Authors
  1. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Seiki Akama .

Editor information

Editors and Affiliations

  1. Kawasaki, Japan

    Seiki Akama

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Akama, S. (2016). Introduction. In: Akama, S. (eds) Towards Paraconsistent Engineering. Intelligent Systems Reference Library, vol 110. Springer, Cham. https://doi.org/10.1007/978-3-319-40418-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-40418-9_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-40417-2

  • Online ISBN: 978-3-319-40418-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation