ABRAHAM, U. and SHELAH, S., A AZ well-order of the reals and incompactness of L (Q”“) BUSS, SR, Intuitionistic validity in T-normal Kripke structures CAICEDO, X., Compactness and normality in abstract logics CENZER, D., DOWNEY, R., JOCKUSCH, C. and SHORE [Book Review]
Annals of Pure and Applied Logic 59:287 (1993)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Intuitionistic Open Induction and Least Number Principle and the Buss Operator.Mohammad Ardeshir & Mojtaba Moniri - 1998 - Notre Dame Journal of Formal Logic 39 (2):212-220.
Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
A Δ22 well-order of the reals and incompactness of L.Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.
A Δ< sup> 2< sub> 2 well-order of the reals and incompactness of< i> L(< i> QMM).Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.
Compactness and normality in abstract logics.Xavier Caicedo - 1993 - Annals of Pure and Applied Logic 59 (1):33-43.
Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Minimally generated abstract logics.Steffen Lewitzka & Andreas B. M. Brunner - 2009 - Logica Universalis 3 (2):219-241.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Analytics
Added to PP
2014-03-29
Downloads
0
6 months
0
2014-03-29
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
