Studia Logica 40 (2):155 - 175 (1981)

Authors
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01874706
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,242
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Elements of Intuitionism.Michael Dummett - 1977 - Oxford University Press.
A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Provability, Truth, and Modal Logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.

View all 9 references / Add more references

Citations of this work BETA

Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.
Correspondences Between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Bounded Distributive Lattices with Strict Implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.

View all 38 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
88 ( #120,927 of 2,444,863 )

Recent downloads (6 months)
1 ( #457,287 of 2,444,863 )

How can I increase my downloads?

Downloads

My notes