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||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Nick 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. [REVIEW] 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads3 ( #213,351 of 722,870 )
Recent downloads (6 months)0
How can I increase my downloads?