Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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
An Extension of Ono's Completeness Result.Nobu-Yuki Suzuki - 1990 - Mathematical Logic Quarterly 36 (4):365-366.
Hybrid Logics with Sahlqvist Axioms.Balder Cate, Maarten Marx & Petrúcio Viana - 2005 - Logic Journal of the IGPL 13 (3):293-300.
On the Semantics of the Universal Quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
On Phase Semantics and Denotational Semantics in Multiplicative–Additive Linear Logic.Antonio Bucciarelli & Thomas Ehrhard - 2000 - Annals of Pure and Applied Logic 102 (3):247-282.
Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
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 Completeness Result for the Simply Typed Λμ-Calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
Soundness and Completeness of the Cirquent Calculus System CL6 for Computability Logic.Wenyan Xu & Sanyang Liu - 2012 - Logic Journal of the IGPL 20 (1):317-330.
A Map of Common Knowledge Logics.Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka - 2002 - Studia Logica 71 (1):57-86.
Intuitionistic Axiomatizations for Bounded Extension Kripke Models.Mohammad Ardeshir, Wim Ruitenburg & Saeed Salehi - 2003 - Annals of Pure and Applied Logic 124 (1-3):267-285.
On Structural Completeness of Implicational Logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Analytics
Added to PP index
2016-02-04
Total views
22 ( #512,690 of 2,504,817 )
Recent downloads (6 months)
2 ( #277,627 of 2,504,817 )
2016-02-04
Total views
22 ( #512,690 of 2,504,817 )
Recent downloads (6 months)
2 ( #277,627 of 2,504,817 )
How can I increase my downloads?
Downloads
