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