The Method of Axiomatic Rejection for the Intuitionistic Propositional Logic

Studia Logica 48 (4):449-459 (1989)
  Copy   BIBTEX

Abstract

We prove that the intuitionistic sentential calculus is Ł-decidable, i.e. the sets of these of Int and of rejected formulas are disjoint and their union is equal to all formulas. A formula is rejected iff it is a sentential variable or is obtained from other formulas by means of three rejection rules. One of the rules is original, the remaining two are Łukasiewicz's rejection rules: by detachement and by substitution. We extensively use the method of Beth's semantic tableaux.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370199

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Intuitionistic Predicate Logic with Decidable Propositional Formulas.Alexander Sakharov - 2007 - Reports on Mathematical Logic.
On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.
Antirealism, Strict Finitism and Structural Rules.Fabrice Pataut - unknown
The pleasures of anticipation: Enriching intuitionistic logic. [REVIEW]Lloyd Humberstone - 2001 - Journal of Philosophical Logic 30 (5):395-438.
Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
An application of the Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):120-122.
On Quasivariety Semantics Of Fragments Of Intuitionistic Propositional Logic Without Exchange And Contraction Rules.C. Van Alten & J. Raftery - 1997 - Reports on Mathematical Logic:3-55.
On second order intuitionistic propositional logic without a universal quantifier.Konrad Zdanowski - 2009 - Journal of Symbolic Logic 74 (1):157-167.
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick Jongh - 2012 - Studia Logica 100 (1-2):61-89.

Analytics

Added to PP
2009-01-28

Downloads
49 (#324,689)

6 months
10 (#268,496)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.

View all 13 citations / Add more citations

References found in this work

On proofs of rejection.Walenty Staszek - 1971 - Studia Logica 29 (1):17 - 25.
Pewna interpretacja teorii zdań odrzuconych.W. Staszek - 1972 - Studia Logica 30 (1):151-151.

Add more references