Mathematical Logic Quarterly 36 (4):365-366 (1990)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19900360410 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Kripke Completeness of Some Intermediate Predicate Logics with the Axiom of Constant Domain and a Variant of Canonical Formulas.Tatsuya Shimura - 1993 - Studia Logica 52 (1):23 - 40.
Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Similar books and articles
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
A Map of Common Knowledge Logics.Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka - 2002 - Studia Logica 71 (1):57-86.
Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
A Completeness Result for the Simply Typed Λμ-Calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
A Note on the Completeness of Kozen's Axiomatisation of the Propositional Μ-Calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
A P‐Completeness Result for Visibility Graphs of Simple Polygons.Jana Dietel & Hans-Dietrich Hecker - 2000 - Mathematical Logic Quarterly 46 (3):361-375.
On Structural Completeness of Implicational Logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
Interpretability Over Peano Arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
First-Order Logic, Second-Order Logic, and Completeness.Marcus Rossberg - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler & Heinrich Wansing (eds.), First-Order Logic Revisited. Logos. pp. 303-321.
Derivation Rules as Anti-Axioms in Modal Logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
On the Proof-Theory of a First-Order Extension of GL.Yehuda Schwartz & George Tourlakis - 2014 - Logic and Logical Philosophy 23 (3).
Completeness and Conservative Extension Results for Some Boolean Relevant Logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
Analytics
Added to PP index
2013-12-01
Total views
4 ( #1,277,545 of 2,505,145 )
Recent downloads (6 months)
1 ( #416,587 of 2,505,145 )
2013-12-01
Total views
4 ( #1,277,545 of 2,505,145 )
Recent downloads (6 months)
1 ( #416,587 of 2,505,145 )
How can I increase my downloads?
Downloads
