Skip to main content
SpringerLink
Log in

On Negation, Completeness and Consistency

  • Chapter
Handbook of Philosophical Logic

Part of the book series: Handbook of Philosophical Logic ((HALO,volume 9))

Abstract

In this Chapter we try to understand negation from two different points of view: a syntactical one and a semantic one. Accordingly, we identify two different types of negation. The same connective of a given logic might be of both types, but this might not always be the case.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

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

    Google Scholar 

  2. A. R. Anderson and N. D. Belnap. Entailment vol. 2, Princeton University Press, Princeton, NJ, 1992.

    Google Scholar 

  3. A. Avron. On an Implication Connective of RM, Notre Dame Journal of Formal Logic, 27, 201–209, 1986.

    Article  Google Scholar 

  4. A. Avron. The Semantics and Proof Theory of Linear Logic, Journal of Theoretical Computer Science, 57, 161–184, 1988.

    Article  Google Scholar 

  5. A. Avron. Relevance and Paraconsistency — A New Approach., Journal of Symbolic Logic, 55, 707–773, 1990.

    Article  Google Scholar 

  6. A. Avron. Relevance and Paraconsistency — A New Approach. Part II: the Formal systems, Notre Dame Journal of Formal Logic, 31, 169–202, 1990.

    Article  Google Scholar 

  7. A. Avron. Simple Consequence relations, Information and Computation, 92, 105–139, 1991.

    Article  Google Scholar 

  8. A. Avron. Natural 3-valued Logics— Characterization and Proof Theory, Journal of Symbolic Logic, 56, 276–294, 1991.

    Article  Google Scholar 

  9. A. Avron. Axiomatic Systems, Deduction and Implication Journal of Logic and Computation, 2, 51–98, 1992.

    Article  Google Scholar 

  10. A. Avron. What is a Logical System?, in [Gabbay, 1994; pp. 217–238] .

    Google Scholar 

  11. H. Barringer, J. H. Cheng and C. B. Jones. A Logic Covering Undefiness in Program Proofs, Acta Informatica, 21, 251–269, 1984.

    Article  Google Scholar 

  12. J. P. Cleave. A Study of Logics, Oxford Logic Guides, Clarendon Press, Oxford, 1991.

    Google Scholar 

  13. N. C. A. da Costa. Theory of Inconsistent Formal Systems, Notre Dame Journal of Formal Logic, 15, 497–510, 1974.

    Article  Google Scholar 

  14. I. M. L. D’Ottaviano. The completeness and compactness of a three-valued first-order logic, Revista Colombiana de Matematicas, XIX, 31–42, 1985.

    Google Scholar 

  15. J. M. Dunn. Algebraic completeness results for R-mingle and its extensions, The Journal of Symbolic Logic, 24, 1–13, 1970.

    Google Scholar 

  16. J. M. Dunn. Relevant logic and entailment. In Handbook of Philosophical Logic, 1st edition, Vol III, D. M. Gabbay and F. Guenthner, eds. pp. 117–224. Reidel: Dordrecht, 1986.

    Google Scholar 

  17. R. L. Epstein. The Semantic Foundations of Logic, vol. 1: Propositional Logics, 2nd edition, Oxford University Press, 1995.

    Google Scholar 

  18. R. Fagin, J. Y. Halpern and Y. Vardi. What is an Inference Rule? Journal of Symbolic Logic, 57, 1017–1045, 1992.

    Article  Google Scholar 

  19. D. M. Gabbay. Semantical investigations in Heyting’s intuitionistic logic, Reidel: Dordrecht, 1981.

    Google Scholar 

  20. D. M. Gabbay, ed. What is a Logical System? Oxford Science Publications, Clarendon Press, Oxford, 1994.

    Google Scholar 

  21. J.-Y. Girard. Linear Logic, Theoretical Computer Science, 50, 1–101, 1987.

    Article  Google Scholar 

  22. I. Hacking. What is logic? The Journal of Philosophy, 76, 185–318, 1979. Reprinted in [Gabbay, 1994].

    Article  Google Scholar 

  23. C. B. Jones. Systematic Software Development Using VDM, Prentice-Hall International, UK, 1986.

    Google Scholar 

  24. L. I. Rozonoer. On Interpretation of Inconsistent Theories, Information Sciences, 47, 243–266, 1989.

    Article  Google Scholar 

  25. D. Scott. Rules and derived rules. In Logical Theory and Semantical Analysis, S. Stenlund, ed. pp. 147–161, Reidel: Dordrecht, 1974.

    Google Scholar 

  26. D. Scott. Completeness and axiomatizability in many-valued logic. In Proceeding of the Tarski Symposium, Proceeding of Symposia in Pure Mathematics, vol. XXV, American Mathematical Society, Rhode Island, pp. 411–435, 1974.

    Google Scholar 

  27. P. Schroeder-Heister and K. Došen, eds. Substructural Logics, Oxford Science Publications, Clarendon Press, Oxford, 1993.

    Google Scholar 

  28. J. R. Shoenfield. Mathematical Logic, Addison-Wesley, Reading, Mass., 1967.

    Google Scholar 

  29. B. Sobociński. Axiomatization of partial system of three-valued calculus of propositions, The Journal of Computing Systems, 11, 23–55, 1952.

    Google Scholar 

  30. A. S. Troelstra. Lectures on Linear Logic, CSLI Lecture Notes No. 29, Center for the Study of Language and Information, Stanford University, 1992.

    Google Scholar 

  31. A. Urquhart. Many-valued Logic. In Handbook of Philosophical Logic, Vol III, first edition. D. Gabbay and F. Guenthner, eds. pp. 71–116. Reidel: Dordrecht„ 1984.

    Google Scholar 

  32. R. Wojcicki. Theory of Logical Calculi, Synthese Library, vol. 199, Kluwer Academic Publishers, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Tel Aviv University, Israel

    Arnon Avron

Authors
  1. Arnon Avron
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. King’ College, London, UK

    D. M. Gabbay

  2. Centrum für Informations- und Sprachverarbeitung, Ludwig-Maximilians-Universität, München, Germany

    F. Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Avron, A. (2002). On Negation, Completeness and Consistency. In: Gabbay, D.M., Guenthner, F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0464-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0464-9_5

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-6055-6

  • Online ISBN: 978-94-017-0464-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation