The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):357-362 (1991)
Abstract
This article has no associated abstract. (fix it)DOI
10.1002/malq.19910372303
My notes
Similar books and articles
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.P. H. Rodenburg - 1991 - Mathematical Logic Quarterly 37 (23‐24):357-362.
Rudimentary Kripke models for the intuitionistic propositional calculus.Kosta Došen - 1993 - Annals of Pure and Applied Logic 62 (1):21-49.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.
Non-axiomatizable second order intuitionistic propositional logic.D. Skvortsov - 1997 - Annals of Pure and Applied Logic 86 (1):33-46.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
Interpolation in Fragments of Intuitionistic Propositional Logic.Gerard R. Renardel De Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419 - 1430.
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.Lex Hendriks - 2000 - Annals of Pure and Applied Logic 104 (1-3):97-112.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
Intuitionistic Predicate Logic with Decidable Propositional Formulas.Alexander Sakharov - 2007 - Reports on Mathematical Logic.
Analytics
Added to PP
2016-02-04
Downloads
25 (#465,768)
6 months
1 (#451,398)
2016-02-04
Downloads
25 (#465,768)
6 months
1 (#451,398)
Historical graph of downloads
Citations of this work
For Want of an 'And': A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.
References found in this work
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Modal Logic and Classical Logic.Johan van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
