Skip to main content
Log in

A propositional logic with explicit fixed points

Studia Logica Aims and scope Submit manuscript

Abstract

This paper studies a propositional logic which is obtained by interpreting implication as formal provability. It is also the logic of finite irreflexive Kripke Models.

A Kripke Model completeness theorem is given and several completeness theorems for interpretations into Provability Logic and Peano Arithmetic.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. G. Boolos,The Unprovability of Consistency, Cambridge University Press, Cambridge 1979.

    Google Scholar 

  2. G. Boolos,Provability, truth and modal logic,Journal of Philosophical Logic 9 (1980), pp. 1–7.

    Google Scholar 

  3. M. A. Dummett,A propositional calculus with a denumerable matrix,The Journal of Symbolic Logic 24 (1959), pp. 97–106.

    Google Scholar 

  4. M. A. Dummett,Elements of Intuitionism, Clarendon Press, Oxford, 1977.

    Google Scholar 

  5. R. Goldblatt,Arithmetical necessity, provability and intuitionistic logic,Theoria 44 (1978), pp. 38–46.

    Google Scholar 

  6. C. Smoryński,Investigations of Intuitionistic Formal Systems by Means of Kripke Models, thesis.

  7. C. Smoryński,Calculating self-referential statements I: explicit calculations,Studia Logica 38 (1979), pp. 17–36.

    Google Scholar 

  8. C. Smokyński,Calculating self-referential statements II: non-explicit calculations,Fundamenta Mathematicae, to appear.

  9. R. M. Solovay,Provability interpretations of modal logic,Israel Journal of Mathematics 25 (1976), pp. 287–304.

    Google Scholar 

  10. A. S. Troelstra (ed.),Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Lecture Notes in Math. 344, Springer Verlag, Berlin, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Visser, A. A propositional logic with explicit fixed points. Stud Logica 40, 155–175 (1981). https://doi.org/10.1007/BF01874706

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Navigation