Skip to main content
SpringerLink
Log in

Comments on Some Completeness Theorems of Urquhart and Méndez &; Salto

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

Urquhart and Méndez and Salto claim to establish completeness theorems for the system C and two of its negation extensions. In this note, we do the following three things: (1) provide a counterexample to all of these alleged completeness theorems, (2) attempt to diagnose the mistakes in the reported completeness proofs, and (3) provide complete axiomatizations of the desired systems.

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. R., Belnap, N. D., Jr., and Dunn, J. M.: Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, 1992.

    Google Scholar 

  2. Dummett, M.: A propositional calculus with a denumerable matrix, J. Symbolic Logic 24 (1959), 97–106.

    Google Scholar 

  3. Harris, K. and Fitelson, B.: Distributivity in Ł\(_{\aleph _0 }\) and other sentential logics, to appear in J. Automated Reasoning, 2000.

  4. McCune, W.: A Davis–Putnam program and its application to finite first-order model search: Quasigroup existence problems, Technical Report, Argonne National Laboratory, Argonne, Illinois, 1994.

    Google Scholar 

  5. Méndez, J. and Salto, F.: Urquhart's C with intuitionistic negation: Dummett's LC without the contraction axiom, Notre Dame J. Formal Logic 36 (1995), 407–413.

    Google Scholar 

  6. Méndez, J. and Salto, F.: Negation completion of Urquhart's many-valued C, J. Philos. Logic 27 (1998), 75–84.

    Google Scholar 

  7. Slaney, J.: MAGIC, Matrix Generator for Implication Connectives: Release 2.1 notes and guide, Technical Report TR-ARP-11-95, Automated Reasoning Project, Australian National University, 1995.

  8. Urquhart, A.: Many-valued logic, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, Vol. III, D. Reidel, 1986.

  9. Urquhart, A.: Basic many-valued logic, Unpublished manuscript (obtained from an anonymous referee), 1998.

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy Madison, University of Wisconsin-Madison, WI, 53706 14 74, USA

    Kenneth Harris & Branden Fitelson

Authors
  1. Kenneth Harris
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Branden Fitelson
    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

Harris, K., Fitelson, B. Comments on Some Completeness Theorems of Urquhart and Méndez &; Salto. Journal of Philosophical Logic 30, 51–55 (2001). https://doi.org/10.1023/A:1017549804474

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1017549804474

Search

Navigation