Zeitschrift für Mathematische Logik und Grundlagen der Mathematik Short Title: Z. Math. Logik Grundlagen Math. Publisher: VEB Deutscher Verlag der Wissenschaften, Berlin ISSN: 0044-3050 Online: http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870/issues Successor: Mathematical Logic Quarterly (MLQ) Comments: Journal; No longer indexed Documents Indexed: 1,718 Publications (1955–1992) References Indexed: 2 Publications with 45 References. all top 5 Latest Issues 38, No. 5-6 (1992) 38, No. 4 (1992) 38, No. 3 (1992) 38, No. 2 (1992) 38, No. 1 (1992) 37, No. 6 (1991) 37, No. 5 (1991) 37, No. 4 (1991) 37, No. 3 (1991) 37, No. 2 (1991) 37, No. 1 (1991) 36, No. 6 (1990) 36, No. 5 (1990) 36, No. 4 (1990) 36, No. 3 (1990) 36, No. 2 (1990) 36, No. 1 (1990) 35, No. 6 (1989) 35, No. 5 (1989) 35, No. 4 (1989) 35, No. 3 (1989) 35, No. 2 (1989) 35, No. 1 (1989) 34, No. 6 (1988) 34, No. 5 (1988) 34, No. 4 (1988) 34, No. 3 (1988) 34, No. 2 (1988) 34, No. 1 (1988) 33 (1987) 32 (1986) 31 (1985) 30 (1984) 29 (1983) 28 (1982) 27 (1981) 26 (1980) 25 (1979) 24 (1978) 23 (1977) 22 (1976) 21 (1975) 20 (1974) 19 (1973) 18 (1972) 17 (1971) 16 (1970) 15 (1969) 14 (1968) 13 (1967) 12 (1966) 11 (1965) 10 (1964) 9 (1963) 8 (1962) 7 (1961) 6 (1960) 5 (1959) 4 (1958) 3 (1957) 2 (1956) 1 (1955) all top 5 Authors 33 Rose, Alan 20 Deutsch, Michael S. 19 Wolter, Helmut 16 Hauck, Jürgen 15 Hickman, John Llewellyn 14 Hauschild, Kurt 14 Rautenberg, Wolfgang 13 Kühnrich, Martin 12 Asser, Günter 12 Lachlan, Alistair H. 12 Orlicki, Andrzej 12 Rohleder, Hans 11 Klaua, Dieter 10 Bagemihl, Frederick 10 Herre, Heinrich 10 Meyer, Robert Kenneth 10 Schwartz, Dietrich 9 Downey, Rodney Graham 9 Levitz, Hilbert 9 McLaughlin, Thomas G. 9 Nishimura, Hirokazu 9 Vopenka, Petr 9 Weese, Martin 8 Sankappanavar, Hanamantagouda P. 8 Schröter, Karl 8 Schultz, Konrad 8 Starke, Peter H. 8 Wang, Hao 7 Bridges, Douglas Suth 7 Buszkowski, Wojciech 7 Denecke, Klaus Dieter 7 Ellentuck, Erik 7 Hecker, Hans-Dietrich 7 Kaiser, Klaus Hermann 7 Lischke, Gerhard 7 McBeth, Rod 7 Montagna, Franco 7 Schmidt, Jurgen 7 Stahl, Gerold 7 Vuckovic, Vladeta 6 Buchi, J. Richard 6 Bull, Robert A. 6 Hájek, Petr 6 Hatcher, William S. 6 Kotlarski, Henryk 6 Leblanc, Hugues 6 Mullin, Albert A. 6 Myhill, John R. 6 Pahi, Biswambhar 6 Šikić, Zvonimir 6 Sochor, Antonin 5 Abian, Alexander 5 Armbrust, Manfred 5 Axt, Paul 5 Banaschewski, Bernhard 5 Cleave, John P. 5 Gerla, Giangiacomo 5 Goetze, Bernhard G. 5 Gorgy, Ford Waghrees 5 Härtig, Klaus 5 Howard, Paul E. 5 Kanda, Akira 5 Kruse, Arthur H. 5 Murawski, Roman 5 Romano, Daniel Abraham 5 Scarpellini, Bruno 5 Ulrich, Dolph 5 Weaver, George E. 4 Anapolitanos, Dionysios A. 4 Brunner, Norbert 4 Cantini, Andrea 4 Cīrulis, Jānis 4 Da Costa, Newton Carneiro Affonso 4 Dahn, Bernd Ingo 4 Engeler, Erwin 4 Font, Josep Maria 4 Forrest, Williams Kramer 4 Freivalds, Rūsiņš Mārtiņš 4 Heindorf, Lutz 4 Hinnion, Roland 4 Humke, Paul D. 4 Jockusch, Carl G. jun. 4 Kaphengst, Heinz 4 Kleinberg, Eugene M. 4 Kleine Büning, Hans 4 Krajíček, Jan 4 Kranakis, Evangelos Konstantinou 4 Krynicki, Michał Marian 4 Kuzichev, Andreĭ Aleksandrovich 4 Lopez, Gérard 4 Makinson, David Clement 4 Marcus, Solomon 4 Neumer, Walter 4 Novotný, Miroslav 4 Pazdyka, Paweł 4 Pogorzelski, Henry A. 4 Potthoff, Klaus 4 Pour-El, Marian Boykan 4 Prior, Arthur Norman 4 Quaisser, Erhard ...and 809 more Authors all top 5 Fields 1,302 Mathematical logic and foundations (03-XX) 83 Order, lattices, ordered algebraic structures (06-XX) 83 Computer science (68-XX) 53 General algebraic systems (08-XX) 32 General topology (54-XX) 30 Category theory; homological algebra (18-XX) 28 Combinatorics (05-XX) 25 Group theory and generalizations (20-XX) 17 Geometry (51-XX) 16 Number theory (11-XX) 14 Field theory and polynomials (12-XX) 13 Real functions (26-XX) 13 Information and communication theory, circuits (94-XX) 9 Probability theory and stochastic processes (60-XX) 8 Measure and integration (28-XX) 6 Functional analysis (46-XX) 5 Commutative algebra (13-XX) 4 History and biography (01-XX) 4 Algebraic geometry (14-XX) 4 Associative rings and algebras (16-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Functions of a complex variable (30-XX) 2 Algebraic topology (55-XX) 2 Manifolds and cell complexes (57-XX) 1 Potential theory (31-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Abstract harmonic analysis (43-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 884 Publications have been cited 5,506 times in 4,293 Documents Cited by ▼ Year ▼ Weak second-order arithmetic and finite automata. Zbl 0103.24705Büchi, J. R. 309 1960 Semantical analysis of modal logic. I: Normal propositional calculi. Zbl 0118.01305Kripke, S. A. 212 1963 On fuzzy logic. I. Many-valued rules of inference. Zbl 0435.03020Pavelka, Jan 182 1979 Classes of recursively enumerable sets and degree of unsolvability. Zbl 0181.30504Martin, D. A. 104 1966 Creative sets. Zbl 0065.00105Myhill, John 73 1955 On fuzzy logic. II. Enriched residuated lattices and semantics of propositional calculi. Zbl 0446.03015Pavelka, Jan 72 1979 On fuzzy logic. III. Semantical completeness of some many-valued propositional calculi. Zbl 0446.03016Pavelka, Jan 72 1979 Fuzzy membership mapped onto intervals and many-valued quantities. Zbl 0334.02011Grattan-Guinness, I. 70 1976 On languages with two variables. Zbl 0343.02009Mortimer, Michael 67 1975 Reducibility and completeness for sets of integers. Zbl 0108.00602Friedberg, Richard M.; Rogers, Hartley jun. 61 1959 Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302Kreisel, Georg; Levy, A. 58 1968 Theorie der Numerierungen. I. Zbl 0295.02025Ershov, Yu. L. 54 1973 Functional characters of solvable terms. Zbl 0479.03006Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. 53 1981 Modal logics between S4 and S5. Zbl 0178.30801Dummett, M. A. E.; Lemmon, E. J. 49 1959 Monadic generalized spectra. Zbl 0317.02054Fagin, Ronald 48 1975 The degrees of hyperimmune sets. Zbl 0216.29102Miller, Webb; Martin, D. A. 45 1968 Hüllensysteme und Erweiterung von Quasi-Ordnungen. Zbl 0073.26904Banaschewski, Bernhard 42 1956 Notes on formal theories of truth. Zbl 0661.03043Cantini, Andrea 40 1989 Finite partially-ordered quantifiers. Zbl 0193.29405Enderton, H. B. 37 1970 A semantical study of constructible falsity. Zbl 0181.00901Thomason, R. H. 36 1969 Effective operations on partial recursive functions. Zbl 0068.24706Myhill, J.; Shepherdson, J. C. 35 1955 Lambda-calculus models and extensionality. Zbl 0453.03015Hindley, R.; Longo, Giuseppe 34 1980 Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018Dunn, J. Michael; Meyer, Robert K. 33 1971 Choice implies excluded middle. Zbl 0387.03017Goodman, N.; Myhill, J. 31 1978 Distributive initial segments of the degrees of unsolvability. Zbl 0176.27803Lachlan, A. H. 31 1968 Completeness results for Lambek syntactic calculus. Zbl 0594.03015Buszkowski, Wojciech 30 1986 On a simple definition of computable function of a real variable - with applications to functions of a complex variable. Zbl 0323.02049Pour-El, Marian Boykan; Caldwell, Jerome 30 1975 Monadic elementary formal systems. Zbl 0218.02030Smullyan, R. M. 30 1961 The logics containing S4.3. Zbl 0228.02011Fine, Kit 29 1971 Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031Krajíček, Jan; Pudlák, Pavel 28 1990 Theorie der Numerierungen. III. Zbl 0374.02028Ershov, Yu. L. 28 1977 Recursively enumerable sets and retracing functions. Zbl 0111.00904Yates, C. E. M. 28 1962 Arithmetical reducibilities. I. Zbl 0229.02037Selman, Alan L. 27 1971 A note on positive equivalence relations. Zbl 0625.03021Lachlan, A. H. 25 1987 On some completeness theorems in modal logic. Zbl 0295.02014Makinson, D. 25 1966 Minimale Gruppen. Zbl 0312.02045Reineke, Joachim 25 1975 That all normal extensions of S4.3 have the finite model property. Zbl 0154.00407Bull, R. A. 25 1966 Logics which are characterized by subresiduated lattices. Zbl 0347.02040Epstein, George; Horn, Alfred 24 1976 Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803Shepherdson, J. C. 24 1965 The decision problem for a class of first-order formulas in which all disjunctions are binary. Zbl 0162.31601Krom, M. R. 24 1967 L’indeformabilite des rélations et multirélations binaires. Zbl 0397.04002Lopez, Gerard 23 1978 Sequential calculus for a first order infinitary temporal logic. Zbl 0611.03010Kawai, Hiroya 22 1987 A brief survey of frames for the Lambek calculus. Zbl 0793.03025Došen, Kosta 21 1992 Exact expressions for some randomness tests. Zbl 0464.60004Gacs, Peter 21 1980 The logic of contradiction. Zbl 0467.03019Goodman, Nicolas D. 21 1981 Note on algebraic models for relevance logic. Zbl 0696.03004Font, Josep M.; Rodríguez, Gonzalo 20 1990 The notion of logical consequence in the logic of inexact predicates. Zbl 0299.02015Cleave, John P. 20 1974 Relative interpretations. Zbl 0121.25501Orey, S. 20 1961 The undecidability of monadic modal quantification theory. Zbl 0111.01101Kripke, S. A. 20 1962 Some decision problems in the theory of syntactic categories. Zbl 0499.03010Buszkowski, Wojciech 19 1982 Algebraically and existentially closed distributive lattices. Zbl 0425.06007Schmid, Jürg 19 1979 Hyperdoctrines, natural deduction and the Beck condition. Zbl 0565.03032Seely, Robert A. G. 19 1983 The degrees of bi-immune sets. Zbl 0184.02002Jockusch, C. G. jun. 19 1969 Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and \((n-1)\). I. Zbl 0799.04001Lopez, Gérard; Rauzy, Claire 18 1992 A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601Loveland, D. 18 1966 Second-order and inductive definability on finite structures. Zbl 0652.03032de Rougemont, Michel 18 1987 Grothendieck topology as geometric modality. Zbl 0474.03018Goldblatt, Robert I. 17 1981 A spectrum hierarchy. Zbl 0311.02020Fagin, Ronald 17 1975 Rekursive Algebren mit Kettenbedingungen. Zbl 0317.02050Baur, Walter 17 1974 On the definition of computable function of a real variable. Zbl 0359.02029Shepherdson, J. C. 17 1976 On suborderings of degrees of recursive unsolvability. Zbl 0118.25202Sacks, G. E. 17 1961 Eine Klassifikation der \(\varepsilon_ 0\)-rekursiven Funktionen. (A classification of the \(\varepsilon_ 0\)-recursive functions.). Zbl 0232.02028Schwichtenberg, Helmut 17 1971 Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zbl 0066.25702Asser, Günter 17 1955 Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). Zbl 0079.07605Specker, Ernst 17 1957 Many-valued modal propositional calculi. Zbl 0661.03011Ostermann, Pascal 17 1988 Heyting algebras with a dual lattice endomorphism. Zbl 0633.06005Sankappanavar, Hanamantagouda P. 16 1987 Sublattices of the recursively enumerable degrees. Zbl 0181.01301Thomason, S. K. 16 1971 Solution of the identity problem for integral exponential functions. Zbl 0188.32802Richardson, D. 16 1969 Some applications of forcing to hierarchy problems in arithmetic. Zbl 0191.30601Hinman, P. G. 16 1969 The undecidability of pure transcendental extensions of real fields. Zbl 0221.02034Robinson, Raphael M. 16 1964 A classification of the recursive functions. Zbl 0247.02037Meyer, Albert R.; Ritchie, Dennis M. 16 1972 Ordre de Rudin-Keisler et poids dans les théories stables. Zbl 0497.03020Lascar, Daniel 15 1982 Pseudocomplemented Ockham and DeMorgan algebras. Zbl 0612.06009Sankappanavar, H. P. 15 1986 Weak logics with strict implication. Zbl 0645.03004Corsi, Giovanna 15 1987 A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005Abrusci, V. Michele 15 1990 Weak axioms of determinacy and subsystems of analysis. I: \(\Delta ^ 0_ 2\) games. Zbl 0729.03032Tanaka, Kazuyuki 15 1990 Orthomodular logic. Zbl 0373.02030Kalmbach, Gudrun 15 1974 A decision procedure for the system \(E_{\bar I}\) of entailment with negation. Zbl 0143.24902Belnap, N. D. jun.; Wallace, J. R. 15 1965 An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024Ishihara, Hajime 15 1990 The priority method. I. Zbl 0153.31601Lachlan, A. H. 14 1967 A dichotomy of the recursively enumerable sets. Zbl 0217.01202Robinson, R. W. 14 1968 Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle. Zbl 0066.25604Schröter, Karl 14 1955 Bounded induction and satisfaction classes. Zbl 0622.03025Kotlarski, Henryk 14 1986 Application de la notion de rélation presque-enchainable au denombrement des restrictions finies d’une rélation. Zbl 0499.03019Pouzet, Maurice 13 1981 Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and \((n-1)\). II. Zbl 0799.04002Lopez, Gérard; Rauzy, Claire 13 1992 Bestimmung der Ordnung maximaler Klassen von Funktionen der k-wertigen Logik. Zbl 0401.03008Lau, Dietlinde 13 1978 Properties preserved under definitional equivalence and interpretations. Zbl 0408.03028Pinter, Charles C. 13 1978 On a formalization of the non-definedness notion. Zbl 0415.03019Hoogewijs, Albert 13 1979 Polyadic MV-algebras. Zbl 0488.03035Schwartz, Dietrich 13 1980 Inductive inference and computable one-one numberings. Zbl 0541.03025Freivalds, Rūsinš; Kinber, Efim B.; Wiehagen, Rolf 13 1982 The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063Buszkowski, Wojciech 13 1985 Principal congruences of pseudocomplemented DeMorgan algebras. Zbl 0624.06016Sankappanavar, Hanamantagouda P. 13 1987 Superconstructive propositional calculi with extra axiom schemes containing one variable. Zbl 0246.02020Anderson, J. G. 13 1972 On choice sets and strongly non-trivial self-embeddings of recursive linear orders. Zbl 0654.03032Downey, Rodney G.; Moses, Michael F. 13 1989 Finitary algebraic logic. Zbl 0661.03052Maddux, Roger D. 13 1989 Properly \(\Sigma _ 2\) enumeration degrees. Zbl 0667.03034Cooper, S. B.; Copestake, C. S. 13 1988 Non-commutative intuitionistic linear logic. Zbl 0810.03005Abrusci, V. Michele 12 1990 Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009Buszkowski, Wojciech 12 1982 The fundamental theorem of ultraproduct in Pavelka’s logic. Zbl 0798.03021Ying, Mingsheng 12 1992 Reflection principles in fragments of Peano arithmetic. Zbl 0607.03017Ono, Hiroakira 12 1987 A brief survey of frames for the Lambek calculus. Zbl 0793.03025Došen, Kosta 21 1992 Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and \((n-1)\). I. Zbl 0799.04001Lopez, Gérard; Rauzy, Claire 18 1992 Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and \((n-1)\). II. Zbl 0799.04002Lopez, Gérard; Rauzy, Claire 13 1992 The fundamental theorem of ultraproduct in Pavelka’s logic. Zbl 0798.03021Ying, Mingsheng 12 1992 Cut elimination for propositional dynamic logic without \(*\). Zbl 0793.03021Bull, Robert A. 8 1992 Partially ordered connectives. Zbl 0798.03040Sandu, Gabriel; Väänänen, Jouko 6 1992 Levels of implication and type free theories of partial classifications with approximation operator. Zbl 0793.03067Cantini, Andrea 5 1992 The reconsruction of tournaments without diamond. (La reconstruction des tournois sans diamant.) Zbl 0795.05102Gnanvo, Cyprien; Ille, Pierre 5 1992 Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values. Zbl 0798.03022Ying, Mingsheng 5 1992 Representation of posets. Zbl 0793.06003Cheng, Yungchen; Kemp, Paula 4 1992 Faithful restriction and reconstruction of chains and infinite relations. (Restriction respectueuse et reconstruction des chaînes et des relations infinies.) Zbl 0795.05103Hagendorf, Jean Guillaume 4 1992 Quantified modal logic with neighborhood semantics. Zbl 0794.03025Waagbø, Geir 4 1992 Recursive Baire classification and speedable functions. Zbl 0798.03042Calude, Cristian; Istrate, Gabriel; Zimand, Marius 3 1992 The judgement calculus for intuitionistic linear logic: Proof theory and semantics. Zbl 0739.03008Valentini, Silvio 3 1992 Finite replacement and finite Hilbert-style axiomatizability. Zbl 0813.03005Herrmann, B.; Rautenberg, W. 2 1992 On the transitive hull of a \(\kappa\)-narrow relation. Zbl 0798.03051Diener, Karl-Heinz 2 1992 The decision problem for restricted universal quantification in set theory and the axiom of foundation. Zbl 0794.03016Parlamento, Franco; Policriti, Alberto 2 1992 Topological framework for finite injury. Zbl 0793.03048Kontostathis, Kyriakos 2 1992 A new relation-combining theorem and its application. Zbl 0793.03004Sun, Zhiwei 2 1992 Provability logic in the Gentzen formulation of arithmetic. Zbl 0794.03079Gentilini, Paolo 2 1992 Elimination of quantifiers over vectors in some theories of vector spaces. Zbl 0794.03019Kuzichev, Andrey A. 2 1992 Algebraic closure without choice. Zbl 0739.03027Banaschewski, Bernhard 2 1992 Ternary operations as primitive notions for constructive plane geometry. II. Zbl 0739.03033Pambuccian, Victor 2 1992 The expressive force of some fragments of intuitionistic propositional logic with regard to Kripke frames. Zbl 0724.03008Rodenburg, P. H. 1 1992 On the incompleteness of a descending chain of extensions of implicational S5. Zbl 0812.03010Ulrich, Dolph 1 1992 On some interpretations of classical logic. Zbl 0794.03011Boričić, Branislav R. 1 1992 On the iterated \(\omega\)-rule. Zbl 0798.03057Michalski, Grzegorz 1 1992 An interpretation of Martin-Löf’s theory of types in elementary topos theory. Zbl 0798.03059Preller, Anne 1 1992 Analytic completeness theorem for absolutely continuous biprobability models. Zbl 0798.03039Đorđević, Radosav S. 1 1992 Some Ramsey theory in Boolean algebra for complexity classes. Zbl 0793.04002McColm, Gregory L. 1 1992 A formalism for some class of forcing notions. Zbl 0798.03053Koszmider, Piotr 1 1992 Bounds in the Turing reducibility of functions. Zbl 0798.03045Habart, Karol 1 1992 A notation system for ordinals using \(\psi\)-functions on inaccessible Mahlo numbers. Zbl 0793.03062Pfeiffer, Helmut 1 1992 Interdefinability of Lambekian functors. Zbl 0794.03041Zielonka, Wojciech 1 1992 Topos based semantic for constructive logic with strong negation. Zbl 0798.03063Klunder, Barbara 1 1992 Russell’s alternative to the axiom of choice. Zbl 0793.03053Brunner, Norbert; Howard, Paul 1 1992 Two topological equivalents of the axiom of choice. Zbl 0797.04004Schechter, Eric 1 1992 The paraconsistent logics P\({\mathcal T}\). Zbl 0741.03013da Costa, Newton C. A.; Subrahmanian, V. S.; Vago, Carlo 10 1991 A construction in set-theoretic topology by means of elementary substructures. Zbl 0769.54013Bandlow, Ingo 10 1991 Jumps of hemimaximal sets. Zbl 0739.03026Downey, Rod; Stob, Mike 8 1991 Some quotient lattices of the Medvedev lattice. Zbl 0702.03021Sorbi, Andrea 8 1991 The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010Gehrke, Mai 7 1991 Deduction theorem for many-valued inference. Zbl 0772.03007Ying, Mingsheng 6 1991 Remarks on annotated logic. Zbl 0846.03010da Costa, Newton C. A.; Abe, Jair M.; Subrahmanian, V. S. 6 1991 On Rosser’s provability predicate. Zbl 0726.03042Shavrukov, V. Yu. 5 1991 Effectivizing inseparability. Zbl 0741.03021Case, John 4 1991 The model companion of Stone semilattices. Zbl 0759.03020Gerber, Christoph; Schmid, Jürg 4 1991 Varieties of demi-pseudocomplemented lattices. Zbl 0769.06007Sankappanavar, Hanamantagouda P. 4 1991 Topological framework for non-priority. Zbl 0741.03024Kontostathis, K. 3 1991 Principal congruences of demi-pseudocomplemented Ockham algebras and applications. Zbl 0774.06007Sankappanavar, Hanamantagouda P. 3 1991 Axiomatization of the first-order intermediate logics of bounded Kripkean heights. II. Zbl 0734.03019Yokota, Shin’ichi 3 1991 Common logic of 2-valued semigroup connectives. Zbl 0741.03003Rautenberg, Wolfgang 2 1991 A note on Pavelka’s fuzzy logic. Zbl 0743.03017Turunen, Esko 2 1991 A note on real subsets of a recursively saturated model. Zbl 0743.03029Tzouvaras, Athanassios 2 1991 \(\mathcal F\)-multipliers and the localization of distributive lattices. II. Zbl 0756.06004Georgescu, George 2 1991 Constructivity of endofunctors on categories of partial enumerated sets. I: General results. Zbl 0749.03035Orlicki, Andrzej 2 1991 Constructivity of endofunctors on categories of partial enumerated sets. II: Some important examples. Zbl 0768.03031Orlicki, Andrzej 2 1991 Boolean valued Dedekind domains. Zbl 0732.03031Nishimura, Hirokazu 2 1991 Extreme choices on complete lexicographic orders. Zbl 0724.03031Morillon, Marianne 1 1991 Nonstandard methods and finiteness conditions in algebra. Zbl 0741.03029Insall, Matt 1 1991 Syntactical proof of translation and separation theorems on subsystems of elementary ontology. Zbl 0738.03010Takano, Mitio 1 1991 Representation of nonstandard hulls in IST for certain uniform spaces. Zbl 0746.54022Vakil, Nader 1 1991 The construction of a definable non-categorical domain. Zbl 0755.03025Huuskonen, Taneli 1 1991 The set of intervals of a reflexive binary multirelation. (L’ensemble des intervalles d’une multirelation binaire et reflexive.) Zbl 0742.04002Ille, Pierre 1 1991 On a variant of weak Chang’s conjecture. Zbl 0764.03017Kanai, Yasuo 1 1991 Some Boolean valued commutative algebra. Zbl 0751.03017Nishimura, Hirokazu 1 1991 Remarks on the Cartesian closure. Zbl 0773.03029Hella, Lauri; Krynicki, Michał 1 1991 Foundations of Boolean valued algebraic geometry. Zbl 0763.03029Nishimura, Hirokazu 1 1991 Some connections between Boolean valued analysis and topological reduction theory for \(C^*\)-algebras. Zbl 0703.46040Nishimura, Hirokazu 1 1991 A theory of operations on the universe. I. Zbl 0725.03029Garcia, Narciso M. L. 1 1991 Abstract data types and type theory: Theories as types. Zbl 0701.68078de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E. 1 1991 Chains in Boolean semigroup algebras. Zbl 0702.06006Heindorf, Lutz 1 1991 Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031Krajíček, Jan; Pudlák, Pavel 28 1990 Note on algebraic models for relevance logic. Zbl 0696.03004Font, Josep M.; Rodríguez, Gonzalo 20 1990 A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005Abrusci, V. Michele 15 1990 Weak axioms of determinacy and subsystems of analysis. I: \(\Delta ^ 0_ 2\) games. Zbl 0729.03032Tanaka, Kazuyuki 15 1990 An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024Ishihara, Hajime 15 1990 Non-commutative intuitionistic linear logic. Zbl 0810.03005Abrusci, V. Michele 12 1990 Modal logics with \(n\)-ary connectives. Zbl 0729.03008Ghilardi, S.; Meloni, G. C. 10 1990 More on induction in the language with a satisfaction class. Zbl 0723.03033Kotlarski, Henryk; Ratajczyk, Zygmunt 6 1990 Effective extensions of partial orders. Zbl 0692.03028Roy, Dev Kumar 4 1990 \({\mathcal F}\)-multipliers and the localization of Hilbert algebras. Zbl 0687.06009Buşneag, Dumitru 3 1990 Proof theory and computer programming. Zbl 0691.03042de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E. 3 1990 On a theorem of Günter Asser. Zbl 0687.03019Calude, Cristian; Sântean, Lila 2 1990 Jumps of nontrivial splittings of recursively enumerable sets. Zbl 0687.03021Ingrassia, Michael A.; Lempp, Steffen 2 1990 Many-valued modal logics: Uses and predicate calculus. Zbl 0691.03009Ostermann, Pascal 2 1990 An extension of Ono’s completeness result. Zbl 0691.03014Suzuki, Nobu-Yuki 2 1990 Some extensions of built-upness on systems of fundamental sequences. Zbl 0691.03028Kadota, Noriya; Aoyama, Kiwamu 2 1990 Stratified and positive comprehension seen as superclass rules over ordinary set theory. Zbl 0696.03026Hinnion, Roland 2 1990 Much shorter proofs: A bimodal investigation. Zbl 0697.03033Carbone, Alessandra; Montagna, Franco 2 1990 Some nonstandard methods applied to distributive lattices. Zbl 0711.03031Gehrke, Mai; Insall, Matt; Kaiser, Klaus 2 1990 Quantifiers determined by partial orderings. Zbl 0712.03025Krynicki, Michał 2 1990 Permutations and stratified formulae - a preservation theorem. Zbl 0717.03019Forster, Thomas 2 1990 The normal depth of filters on an infinite cardinal. Zbl 0738.04001Di Prisco, C. A.; Fuller, M.; Henle, J. M. 1 1990 Extending omega-consistent sets to maximally consistent, \(\omega\)- complete sets. Zbl 0692.03023Weaver, George; Thau, Michael; Leblanc, Hugues 1 1990 Some results on bounded truth-table degrees. Zbl 0714.03036Ditchev, Angel V. 1 1990 The Hilbert type axiomatization of some three-valued propositional logic. Zbl 0721.03010Zbrzezny, Andrzej 1 1990 The union axiom in Zermelo set theory. Zbl 0723.03030González, Carlos G. 1 1990 Algorithmic aspects of \(Z[x_ 1,\cdot \cdot \cdot,x_ n]\) with applications to tiling problems. Zbl 0728.11069Clivio, A. 1 1990 On some categories of partial enumerated sets. Zbl 0732.03037Orlicki, Andrzej 1 1990 ...and 784 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,460 Authors 56 Downey, Rodney Graham 36 Sorbi, Andrea 36 Stephan, Frank 27 Shore, Richard Arnold 25 Droste, Manfred 24 Gerla, Giangiacomo 23 Jockusch, Carl G. jun. 22 Jain, Sanjay 21 Novák, Vilém 20 Lempp, Steffen 20 Vychodil, Vilém 18 Boudabbous, Youssef 18 Finkel, Olivier 18 Kamide, Norihiro 17 Bridges, Douglas Suth 17 Nies, André Otfrid 16 Bělohlávek, Radim 16 Gottwald, Siegfried 16 Hájek, Petr 16 Remmel, Jeffrey Brian 16 Terwijn, Sebastiaan A. 16 Zakharyaschev, Michael Viktorovich 15 Esteva, Francesc 15 Soskova, Mariya Ivanova 15 Wansing, Heinrich Theodor 14 Godo, Lluís 14 Slaman, Theodore A. 13 Beklemishev, Lev D. 13 Greenberg, Noam 13 Kuznetsov, Stepan L’vovich 13 Lerman, Manuel 13 Maksimova, Larisa L’vovna 13 Miller, Joseph S. 13 Miller, Russell G. 13 Tachtsis, Eleftherios 13 Xu, Yang 12 Andrews, Uri 12 Bazhenov, Nikolaĭ Alekseevich 12 Bezhanishvili, Guram 12 Cooper, Stuart Barry 12 Humberstone, Lloyd 12 Ishihara, Hajime 12 Soare, Robert I. 12 Spreen, Dieter 12 Turunen, Esko 12 Wang, Guojun 11 Calude, Cristian S. 11 Celani, Sergio Arturo 11 Dëgtev, A. N. 11 Raftery, James G. 11 Vardi, Moshe Ya’akov 11 Wolter, Frank 10 Brattka, Vasco 10 Cantini, Andrea 10 Cholak, Peter A. 10 Dezani-Ciancaglini, Mariangiola 10 Erné, Marcel 10 Fagin, Ronald 10 Font, Josep Maria 10 Gastin, Paul 10 Goldblatt, Robert Ian 10 Grädel, Erich 10 Howard, Paul E. 10 Lachlan, Alistair H. 10 Makowsky, Johann-Andreas 10 Mints, Grigoriĭ Efroimovich 10 Montagna, Franco 10 Scedrov, Andre 10 Selivanov, Viktor L’vovich 10 Thomas, Wolfgang 10 Weihrauch, Klaus 9 Bedregal, Benjamín René Callejas 9 Boussairi, Abderrahim 9 Buszkowski, Wojciech 9 Case, John 9 Ganchev, Hristo A. 9 Halpern, Joseph Yehuda 9 Harding, John 9 Harrington, Leo A. 9 McLaughlin, Thomas G. 9 Mundici, Daniele 9 Nicolai, Carlo 9 Omanadze, Roland Sh. 9 Pour-El, Marian Boykan 9 Rautenberg, Wolfgang 9 Schuster, Peter Michael 9 Väänänen, Jouko Antero 9 Ying, Mingsheng 8 Ambos-Spies, Klaus 8 Arslanov, Marat M. 8 Avron, Arnon 8 Bezhanishvili, Nick 8 Bollig, Benedikt 8 Feferman, Solomon 8 Gehrke, Mai 8 Ghilardi, Silvio 8 Halbach, Volker 8 Ivanov, Aleksander A. 8 Kolaitis, Phokion G. 8 Kremer, Philip ...and 3,360 more Authors all top 5 Cited in 308 Journals 447 The Journal of Symbolic Logic 308 Theoretical Computer Science 304 Annals of Pure and Applied Logic 258 Studia Logica 126 Fuzzy Sets and Systems 103 Archive for Mathematical Logic 101 Journal of Philosophical Logic 100 Mathematical Logic Quarterly (MLQ) 81 Algebra Universalis 74 Transactions of the American Mathematical Society 73 Journal of Computer and System Sciences 72 Information and Computation 67 Algebra and Logic 65 Notre Dame Journal of Formal Logic 62 The Bulletin of Symbolic Logic 55 Archiv für Mathematische Logik und Grundlagenforschung 52 Proceedings of the American Mathematical Society 51 The Review of Symbolic Logic 42 Israel Journal of Mathematics 41 Siberian Mathematical Journal 39 Journal of Applied Non-Classical Logics 38 Information Sciences 33 Artificial Intelligence 33 Order 30 Synthese 30 Soft Computing 29 International Journal of Approximate Reasoning 29 Journal of Logic, Language and Information 28 Mathematical Notes 26 Journal of Soviet Mathematics 22 MSCS. Mathematical Structures in Computer Science 22 Logica Universalis 21 Discrete Mathematics 20 Advances in Mathematics 20 Czechoslovak Mathematical Journal 20 Theory of Computing Systems 19 Topology and its Applications 18 Mathematical Systems Theory 18 Journal of Applied Logic 17 Mathematische Annalen 17 Journal of Mathematical Logic 16 Journal of Pure and Applied Algebra 16 Journal of Mathematical Sciences (New York) 16 Bulletin of the American Mathematical Society 15 Information Processing Letters 15 Kybernetika 15 Mathematische Nachrichten 15 International Journal of Foundations of Computer Science 15 Indagationes Mathematicae. New Series 15 Logical Methods in Computer Science 14 International Journal of General Systems 14 International Journal of Theoretical Physics 14 Journal of Automated Reasoning 13 Comptes Rendus. Mathématique. Académie des Sciences, Paris 12 Archiv der Mathematik 12 Journal of Algebra 12 Annals of Mathematics and Artificial Intelligence 11 Journal of Symbolic Computation 11 Logic and Logical Philosophy 10 Acta Informatica 10 History and Philosophy of Logic 10 Lobachevskii Journal of Mathematics 9 Communications in Algebra 9 Computers & Mathematics with Applications 9 Discrete Applied Mathematics 9 Bulletin of the Section of Logic 9 International Journal of Algebra and Computation 8 Mathematische Zeitschrift 8 Publications of the Research Institute for Mathematical Sciences, Kyoto University 8 Rendiconti del Seminario Matematico della Università di Padova 8 Russian Mathematics 8 Erkenntnis 8 The Journal of Logic and Algebraic Programming 8 ACM Transactions on Computational Logic 8 Asian-European Journal of Mathematics 7 Mathematica Slovaca 7 Semigroup Forum 7 Theory and Decision 7 European Journal of Combinatorics 7 Journal of Complexity 7 RAIRO. Theoretical Informatics and Applications 7 Journal of Logical and Algebraic Methods in Programming 6 Cybernetics and Systems Analysis 6 Journal of Functional Programming 6 Journal of Intelligent and Fuzzy Systems 6 Computability 6 Logicheskie Issledovaniya 5 Bulletin of the Australian Mathematical Society 5 Results in Mathematics 5 Acta Mathematica Hungarica 5 Applied Categorical Structures 5 Central European Journal of Mathematics 5 Iranian Journal of Fuzzy Systems 5 Proceedings of the Steklov Institute of Mathematics 4 Journal of Mathematical Analysis and Applications 4 Journal of Mathematical Physics 4 Annali di Matematica Pura ed Applicata. Serie Quarta 4 Compositio Mathematica 4 Fundamenta Mathematicae 4 Journal of Geometry ...and 208 more Journals all top 5 Cited in 52 Fields 3,355 Mathematical logic and foundations (03-XX) 1,136 Computer science (68-XX) 426 Order, lattices, ordered algebraic structures (06-XX) 154 General algebraic systems (08-XX) 124 Combinatorics (05-XX) 118 General topology (54-XX) 105 Group theory and generalizations (20-XX) 90 History and biography (01-XX) 89 Category theory; homological algebra (18-XX) 80 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 56 Number theory (11-XX) 41 Field theory and polynomials (12-XX) 32 Quantum theory (81-XX) 30 Real functions (26-XX) 29 Associative rings and algebras (16-XX) 28 Information and communication theory, circuits (94-XX) 26 General and overarching topics; collections (00-XX) 26 Commutative algebra (13-XX) 26 Functional analysis (46-XX) 26 Geometry (51-XX) 18 Probability theory and stochastic processes (60-XX) 17 Operator theory (47-XX) 15 Measure and integration (28-XX) 15 Dynamical systems and ergodic theory (37-XX) 15 Statistics (62-XX) 15 Operations research, mathematical programming (90-XX) 15 Systems theory; control (93-XX) 12 Topological groups, Lie groups (22-XX) 10 Numerical analysis (65-XX) 9 Calculus of variations and optimal control; optimization (49-XX) 8 Functions of a complex variable (30-XX) 8 Biology and other natural sciences (92-XX) 7 Algebraic geometry (14-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Convex and discrete geometry (52-XX) 5 Approximations and expansions (41-XX) 4 Partial differential equations (35-XX) 4 Relativity and gravitational theory (83-XX) 3 Global analysis, analysis on manifolds (58-XX) 2 Nonassociative rings and algebras (17-XX) 2 Potential theory (31-XX) 2 Ordinary differential equations (34-XX) 2 Difference and functional equations (39-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Manifolds and cell complexes (57-XX) 2 Mechanics of particles and systems (70-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Sequences, series, summability (40-XX) 1 Fluid mechanics (76-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year