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 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 891 Publications have been cited 5,674 times in 4,423 Documents Cited by ▼ Year ▼ Weak second-order arithmetic and finite automata. Zbl 0103.24705 Büchi, J. Richard 320 1960 Semantical analysis of modal logic. I: Normal propositional calculi. Zbl 0118.01305 Kripke, S. A. 216 1963 On fuzzy logic. I. Many-valued rules of inference. Zbl 0435.03020 Pavelka, Jan 187 1979 Classes of recursively enumerable sets and degree of unsolvability. Zbl 0181.30504 Martin, D. A. 105 1966 Creative sets. Zbl 0065.00105 Myhill, John 76 1955 On fuzzy logic. II. Enriched residuated lattices and semantics of propositional calculi. Zbl 0446.03015 Pavelka, Jan 75 1979 Fuzzy membership mapped onto intervals and many-valued quantities. Zbl 0334.02011 Grattan-Guinness, I. 73 1976 On fuzzy logic. III. Semantical completeness of some many-valued propositional calculi. Zbl 0446.03016 Pavelka, Jan 73 1979 On languages with two variables. Zbl 0343.02009 Mortimer, Michael 71 1975 Reducibility and completeness for sets of integers. Zbl 0108.00602 Friedberg, Richard M.; Rogers, Hartley jun. 63 1959 Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302 Kreisel, Georg; Levy, A. 59 1968 Functional characters of solvable terms. Zbl 0479.03006 Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. 57 1981 Theorie der Numerierungen. I. Zbl 0295.02025 Ershov, Yu. L. 57 1973 Modal logics between S4 and S5. Zbl 0178.30801 Dummett, M. A. E.; Lemmon, E. J. 51 1959 Monadic generalized spectra. Zbl 0317.02054 Fagin, Ronald 49 1975 The degrees of hyperimmune sets. Zbl 0216.29102 Miller, Webb; Martin, D. A. 45 1968 Hüllensysteme und Erweiterung von Quasi-Ordnungen. Zbl 0073.26904 Banaschewski, Bernhard 44 1956 Notes on formal theories of truth. Zbl 0661.03043 Cantini, Andrea 42 1989 Finite partially-ordered quantifiers. Zbl 0193.29405 Enderton, H. B. 37 1970 Effective operations on partial recursive functions. Zbl 0068.24706 Myhill, J.; Shepherdson, J. C. 36 1955 A semantical study of constructible falsity. Zbl 0181.00901 Thomason, R. H. 36 1969 Lambda-calculus models and extensionality. Zbl 0453.03015 Hindley, R.; Longo, Giuseppe 35 1980 Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018 Dunn, J. Michael; Meyer, Robert K. 33 1971 Choice implies excluded middle. Zbl 0387.03017 Goodman, N.; Myhill, J. 33 1978 Distributive initial segments of the degrees of unsolvability. Zbl 0176.27803 Lachlan, A. H. 31 1968 Completeness results for Lambek syntactic calculus. Zbl 0594.03015 Buszkowski, Wojciech 31 1986 Monadic elementary formal systems. Zbl 0218.02030 Smullyan, R. M. 30 1961 The logics containing S4.3. Zbl 0228.02011 Fine, Kit 30 1971 Arithmetical reducibilities. I. Zbl 0229.02037 Selman, Alan L. 30 1971 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 Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031 Krajíček, Jan; Pudlák, Pavel 29 1990 Theorie der Numerierungen. III. Zbl 0374.02028 Ershov, Yu. L. 29 1977 Recursively enumerable sets and retracing functions. Zbl 0111.00904 Yates, C. E. M. 28 1962 The decision problem for a class of first-order formulas in which all disjunctions are binary. Zbl 0162.31601 Krom, M. R. 27 1967 Logics which are characterized by subresiduated lattices. Zbl 0347.02040 Epstein, George; Horn, Alfred 27 1976 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. 26 1966 Minimale Gruppen. Zbl 0312.02045 Reineke, Joachim 26 1975 A note on positive equivalence relations. Zbl 0625.03021 Lachlan, A. H. 25 1987 Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803 Shepherdson, J. C. 24 1965 Sequential calculus for a first order infinitary temporal logic. Zbl 0611.03010 Kawai, Hiroya 23 1987 L’indeformabilite des rélations et multirélations binaires. Zbl 0397.04002 Lopez, Gerard 23 1978 A brief survey of frames for the Lambek calculus. Zbl 0793.03025 Došen, Kosta 23 1992 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 Exact expressions for some randomness tests. Zbl 0464.60004 Gacs, Peter 22 1980 The logic of contradiction. Zbl 0467.03019 Goodman, Nicolas D. 22 1981 Algebraically and existentially closed distributive lattices. Zbl 0425.06007 Schmid, Jürg 21 1979 Grothendieck topology as geometric modality. Zbl 0474.03018 Goldblatt, Robert I. 20 1981 Relative interpretations. Zbl 0121.25501 Orey, S. 20 1961 The degrees of bi-immune sets. Zbl 0184.02002 Jockusch, C. G. jun. 20 1969 The notion of logical consequence in the logic of inexact predicates. Zbl 0299.02015 Cleave, John P. 20 1974 Note on algebraic models for relevance logic. Zbl 0696.03004 Font, Josep M.; Rodríguez, Gonzalo 20 1990 Some decision problems in the theory of syntactic categories. Zbl 0499.03010 Buszkowski, Wojciech 19 1982 Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). Zbl 0079.07605 Specker, Ernst 19 1957 Rekursive Algebren mit Kettenbedingungen. Zbl 0317.02050 Baur, Walter 19 1974 Heyting algebras with a dual lattice endomorphism. Zbl 0633.06005 Sankappanavar, Hanamantagouda P. 18 1987 Second-order and inductive definability on finite structures. Zbl 0652.03032 de Rougemont, Michel 18 1987 A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601 Loveland, D. 18 1966 Eine Klassifikation der \(\varepsilon_ 0\)-rekursiven Funktionen. (A classification of the \(\varepsilon_ 0\)-recursive functions.). Zbl 0232.02028 Schwichtenberg, Helmut 18 1971 A classification of the recursive functions. Zbl 0247.02037 Meyer, Albert R.; Ritchie, Dennis M. 18 1972 Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and \((n-1)\). I. Zbl 0799.04001 Lopez, Gérard; Rauzy, Claire 18 1992 Many-valued modal propositional calculi. Zbl 0661.03011 Ostermann, Pascal 17 1988 On the definition of computable function of a real variable. Zbl 0359.02029 Shepherdson, J. C. 17 1976 Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zbl 0066.25702 Asser, Günter 17 1955 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 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 A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005 Abrusci, V. Michele 17 1990 Weak logics with strict implication. Zbl 0645.03004 Corsi, Giovanna 16 1987 Ordre de Rudin-Keisler et poids dans les théories stables. Zbl 0497.03020 Lascar, Daniel 16 1982 Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle. Zbl 0066.25604 Schröter, Karl 16 1955 Solution of the identity problem for integral exponential functions. Zbl 0188.32802 Richardson, D. 16 1969 Some applications of forcing to hierarchy problems in arithmetic. Zbl 0191.30601 Hinman, P. G. 16 1969 Pseudocomplemented Ockham and DeMorgan algebras. Zbl 0612.06009 Sankappanavar, H. P. 16 1986 Weak axioms of determinacy and subsystems of analysis. I: \(\Delta ^ 0_ 2\) games. Zbl 0729.03032 Tanaka, Kazuyuki 16 1990 Orthomodular logic. Zbl 0373.02030 Kalmbach, Gudrun 16 1974 An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024 Ishihara, Hajime 15 1990 A decision procedure for the system \(E_{\bar I}\) of entailment with negation. Zbl 0143.24902 Belnap, N. D. jun.; Wallace, J. R. 15 1965 Bounded induction and satisfaction classes. Zbl 0622.03025 Kotlarski, Henryk 15 1986 Application de la notion de rélation presque-enchainable au denombrement des restrictions finies d’une rélation. Zbl 0499.03019 Pouzet, Maurice 14 1981 The priority method. I. Zbl 0153.31601 Lachlan, A. H. 14 1967 A dichotomy of the recursively enumerable sets. Zbl 0217.01202 Robinson, R. W. 14 1968 Principal congruences of pseudocomplemented DeMorgan algebras. Zbl 0624.06016 Sankappanavar, Hanamantagouda P. 14 1987 Definability in the existential theory of concatenation and undecidable extensions of this theory. Zbl 0635.03006 Büchi, J. Richard; Senger, Steven 13 1988 On choice sets and strongly non-trivial self-embeddings of recursive linear orders. Zbl 0654.03032 Downey, Rodney G.; Moses, Michael F. 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 The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063 Buszkowski, Wojciech 13 1985 Superconstructive propositional calculi with extra axiom schemes containing one variable. Zbl 0246.02020 Anderson, J. G. 13 1972 Bestimmung der Ordnung maximaler Klassen von Funktionen der k-wertigen Logik. Zbl 0401.03008 Lau, Dietlinde 13 1978 Properties preserved under definitional equivalence and interpretations. Zbl 0408.03028 Pinter, Charles C. 13 1978 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 Topologische Maximalprinzipien. (Topological maximum principles). Zbl 0639.49006 Brunner, Norbert 12 1987 Enumeration reducibility using bounded information: counting minimal covers. Zbl 0646.03037 Cooper, S. Barry 12 1987 A refinement of low n and high n for the r.e. degrees. Zbl 0625.03022 Mohrherr, Jeanleah 12 1986 A brief survey of frames for the Lambek calculus. Zbl 0793.03025 Došen, Kosta 23 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 18 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. 9 1992 Partially ordered connectives. Zbl 0798.03040 Sandu, Gabriel; Väänänen, Jouko 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 Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values. Zbl 0798.03022 Ying, Mingsheng 5 1992 Representation of posets. Zbl 0793.06003 Cheng, 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.05103 Hagendorf, Jean Guillaume 4 1992 Quantified modal logic with neighborhood semantics. Zbl 0794.03025 Waagbø, Geir 4 1992 The judgement calculus for intuitionistic linear logic: Proof theory and semantics. Zbl 0739.03008 Valentini, Silvio 3 1992 Recursive Baire classification and speedable functions. Zbl 0798.03042 Calude, Cristian; Istrate, Gabriel; Zimand, Marius 3 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 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 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 The expressive force of some fragments of intuitionistic propositional logic with regard to Kripke frames. Zbl 0724.03008 Rodenburg, P. H. 1 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 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.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 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 The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010 Gehrke, Mai 7 1991 On Rosser’s provability predicate. Zbl 0726.03042 Shavrukov, V. Yu. 6 1991 Deduction theorem for many-valued inference. Zbl 0772.03007 Ying, Mingsheng 6 1991 Remarks on annotated logic. Zbl 0846.03010 da Costa, Newton C. A.; Abe, Jair M.; Subrahmanian, V. S. 6 1991 Effectivizing inseparability. Zbl 0741.03021 Case, John 4 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 Topological framework for non-priority. Zbl 0741.03024 Kontostathis, K. 3 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 Boolean valued Dedekind domains. Zbl 0732.03031 Nishimura, Hirokazu 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 A note on real subsets of a recursively saturated model. Zbl 0743.03029 Tzouvaras, Athanassios 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 Constructivity of endofunctors on categories of partial enumerated sets. II: Some important examples. Zbl 0768.03031 Orlicki, Andrzej 2 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 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 A theory of operations on the universe. I. Zbl 0725.03029 Garcia, Narciso M. L. 1 1991 Syntactical proof of translation and separation theorems on subsystems of elementary ontology. Zbl 0738.03010 Takano, Mitio 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 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 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 Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031 Krajíček, Jan; Pudlák, Pavel 29 1990 Note on algebraic models for relevance logic. Zbl 0696.03004 Font, Josep M.; Rodríguez, Gonzalo 20 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 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 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 extensions of built-upness on systems of fundamental sequences. Zbl 0691.03028 Kadota, Noriya; Aoyama, Kiwamu 2 1990 Stratified and positive comprehension seen as superclass rules over ordinary set theory. Zbl 0696.03026 Hinnion, Roland 2 1990 Much shorter proofs: A bimodal investigation. Zbl 0697.03033 Carbone, Alessandra; Montagna, Franco 2 1990 Some nonstandard methods applied to distributive lattices. Zbl 0711.03031 Gehrke, Mai; Insall, Matt; Kaiser, Klaus 2 1990 Quantifiers determined by partial orderings. Zbl 0712.03025 Krynicki, Michał 2 1990 Permutations and stratified formulae - a preservation theorem. Zbl 0717.03019 Forster, Thomas 2 1990 Fuzzy natural deduction. Zbl 0669.03015 Gerla, Giangiacomo; Tortora, Roberto 1 1990 A note on the existence property for intuitionistic logic with function symbols. Zbl 0671.03038 Doorman, L. M. 1 1990 Extending omega-consistent sets to maximally consistent, \(\omega\)- complete sets. Zbl 0692.03023 Weaver, George; Thau, Michael; Leblanc, Hugues 1 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 Algorithmic aspects of \(Z[x_ 1,\cdot \cdot \cdot,x_ n]\) with applications to tiling problems. Zbl 0728.11069 Clivio, A. 1 1990 ...and 791 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,566 Authors 56 Downey, Rodney Graham 37 Stephan, Frank 36 Sorbi, Andrea 27 Shore, Richard Arnold 25 Droste, Manfred 24 Gerla, Giangiacomo 23 Jain, Sanjay 23 Jockusch, Carl G. jun. 21 Novák, Vilém 20 Lempp, Steffen 20 Vychodil, Vilém 19 Kamide, Norihiro 18 Boudabbous, Youssef 18 Finkel, Olivier 17 Bridges, Douglas Suth 17 Nies, André Otfrid 17 Soskova, Mariya Ivanova 17 Zakharyaschev, Michael Viktorovich 16 Bělohlávek, Radim 16 Gottwald, Siegfried 16 Hájek, Petr 16 Remmel, Jeffrey Brian 16 Terwijn, Sebastiaan A. 15 Esteva, Francesc 15 Kuznetsov, Stepan L’vovich 15 Wansing, Heinrich Theodor 14 Bezhanishvili, Guram 14 Godo, Lluís 14 Miller, Joseph S. 14 Slaman, Theodore A. 14 Tachtsis, Eleftherios 13 Bazhenov, Nikolaĭ Alekseevich 13 Beklemishev, Lev D. 13 Greenberg, Noam 13 Ishihara, Hajime 13 Lerman, Manuel 13 Maksimova, Larisa L’vovna 13 Miller, Russell G. 13 Spreen, Dieter 13 Xu, Yang 12 Andrews, Uri 12 Calude, Cristian S. 12 Celani, Sergio Arturo 12 Cooper, Stuart Barry 12 Humberstone, Lloyd 12 Soare, Robert I. 12 Turunen, Esko 12 Wang, Guojun 11 Bedregal, Benjamín René Callejas 11 Cholak, Peter A. 11 Dëgtev, A. N. 11 Fagin, Ronald 11 Raftery, James G. 11 Scedrov, Andre 11 Vardi, Moshe Ya’akov 11 Wolter, Frank 10 Bezhanishvili, Nick 10 Brattka, Vasco 10 Cantini, Andrea 10 Dezani-Ciancaglini, Mariangiola 10 Erné, Marcel 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 Mundici, Daniele 10 Selivanov, Viktor L’vovich 10 Thomas, Wolfgang 10 Weihrauch, Klaus 9 Boussairi, Abderrahim 9 Buszkowski, Wojciech 9 Case, John 9 Faĭzrahmanov, Marat Khaidarovich 9 Ganchev, Hristo A. 9 Halpern, Joseph Yehuda 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 Väänänen, Jouko Antero 9 Ying, Mingsheng 8 Ambos-Spies, Klaus 8 Arslanov, Marat M. 8 Avron, Arnon 8 Bollig, Benedikt 8 Bustince Sola, Humberto 8 Feferman, Solomon 8 Gehrke, Mai 8 Ghilardi, Silvio 8 Halbach, Volker ...and 3,466 more Authors all top 5 Cited in 316 Journals 449 The Journal of Symbolic Logic 309 Theoretical Computer Science 308 Annals of Pure and Applied Logic 263 Studia Logica 136 Fuzzy Sets and Systems 105 Archive for Mathematical Logic 102 Journal of Philosophical Logic 102 Mathematical Logic Quarterly (MLQ) 84 Algebra Universalis 74 Transactions of the American Mathematical Society 73 Journal of Computer and System Sciences 73 Information and Computation 68 Algebra and Logic 68 Notre Dame Journal of Formal Logic 64 The Bulletin of Symbolic Logic 55 Archiv für Mathematische Logik und Grundlagenforschung 54 The Review of Symbolic Logic 53 Proceedings of the American Mathematical Society 43 Israel Journal of Mathematics 41 Siberian Mathematical Journal 40 Journal of Applied Non-Classical Logics 38 Information Sciences 34 Artificial Intelligence 34 Order 33 Synthese 30 International Journal of Approximate Reasoning 30 Journal of Logic, Language and Information 30 Soft Computing 28 Mathematical Notes 26 Journal of Soviet Mathematics 24 MSCS. Mathematical Structures in Computer Science 22 Logica Universalis 21 Discrete Mathematics 20 Advances in Mathematics 20 Czechoslovak Mathematical Journal 20 Topology and its Applications 20 Theory of Computing Systems 20 Logical Methods in Computer Science 18 Mathematical Systems Theory 18 Journal of Mathematical Sciences (New York) 18 Journal of Applied Logic 17 Mathematische Annalen 17 Journal of Mathematical Logic 16 Journal of Pure and Applied Algebra 16 Bulletin of the American Mathematical Society 15 Information Processing Letters 15 Kybernetika 15 Mathematische Nachrichten 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 13 Comptes Rendus. Mathématique. Académie des Sciences, Paris 12 Archiv der Mathematik 12 Journal of Algebra 12 Bulletin of the Section of Logic 12 Annals of Mathematics and Artificial Intelligence 12 Logic and Logical Philosophy 11 Journal of Symbolic Computation 10 Acta Informatica 10 History and Philosophy of Logic 10 Lobachevskii Journal of Mathematics 10 ACM Transactions on Computational Logic 10 Computability 9 Communications in Algebra 9 Computers & Mathematics with Applications 9 Discrete Applied Mathematics 9 Mathematica Slovaca 9 Mathematische Zeitschrift 9 International Journal of Algebra and Computation 9 Russian Mathematics 8 Publications of the Research Institute for Mathematical Sciences, Kyoto University 8 Rendiconti del Seminario Matematico della Università di Padova 8 Semigroup Forum 8 Erkenntnis 8 The Journal of Logic and Algebraic Programming 8 Asian-European Journal of Mathematics 8 Journal of Logical and Algebraic Methods in Programming 7 Theory and Decision 7 European Journal of Combinatorics 7 Journal of Complexity 7 Journal of Functional Programming 7 RAIRO. Theoretical Informatics and Applications 6 Results in Mathematics 6 Cybernetics and Systems Analysis 6 Applied Categorical Structures 6 Journal of Intelligent and Fuzzy Systems 6 Logicheskie Issledovaniya 5 Bulletin of the Australian Mathematical Society 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 Annali di Matematica Pura ed Applicata. Serie Quarta 4 Compositio Mathematica 4 Fundamenta Mathematicae 4 Journal of Economic Theory ...and 216 more Journals all top 5 Cited in 52 Fields 3,451 Mathematical logic and foundations (03-XX) 1,174 Computer science (68-XX) 452 Order, lattices, ordered algebraic structures (06-XX) 160 General algebraic systems (08-XX) 126 Combinatorics (05-XX) 125 General topology (54-XX) 109 Group theory and generalizations (20-XX) 91 History and biography (01-XX) 91 Category theory; homological algebra (18-XX) 81 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 58 Number theory (11-XX) 42 Field theory and polynomials (12-XX) 32 Quantum theory (81-XX) 31 Real functions (26-XX) 29 Information and communication theory, circuits (94-XX) 28 Associative rings and algebras (16-XX) 26 General and overarching topics; collections (00-XX) 26 Commutative algebra (13-XX) 26 Functional analysis (46-XX) 26 Geometry (51-XX) 19 Operator theory (47-XX) 18 Probability theory and stochastic processes (60-XX) 15 Measure and integration (28-XX) 15 Statistics (62-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 Functions of a complex variable (30-XX) 8 Algebraic geometry (14-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 Global analysis, analysis on manifolds (58-XX) 4 Relativity and gravitational theory (83-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