The method of axiomatic rejection for the intuitionistic propositional logic
Studia Logica 48 (4):449 - 459 (1989)
| Abstract | We prove that the intuitionistic sentential calculus is -decidable (decidable in the sense of ukasiewicz), i.e. the sets of theses 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNick Bezhanishvili & Dick Jongh (2012). Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica 100 (1-2):61-89.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Xavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.
Wiesław Dziobiak (1983). Cardinalities of Proper Ideals in Some Lattices of Strengthenings of the Intuitionistic Propositional Logic. Studia Logica 42 (2-3):173 - 177.
L. Humberstone & D. Makinson (2012). Intuitionistic Logic and Elementary Rules. Mind 120 (480):1035-1051.
Rosalie Iemhoff (2001). On the Admissible Rules of Intuitionistic Propositional Logic. Journal of Symbolic Logic 66 (1):281-294.
Lloyd Humberstone (2001). The Pleasures of Anticipation: Enriching Intuitionistic Logic. Journal of Philosophical Logic 30 (5):395-438.
Andrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.
Carlo Dalla Pozza & Claudio Garola (1995). A Pragmatic Interpretation of Intuitionistic Propositional Logic. Erkenntnis 43 (1):81 - 109.
Alex Citkin (2010). Metalogic of Intuitionistic Propositional Calculus. Notre Dame Journal of Formal Logic 51 (4):485-502.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads3 ( #201,730 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
