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: 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 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 6 Vuckovic, Vladeta 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 808 more Authors all top 5 Fields 1,300 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 877 Publications have been cited 5,340 times in 4,145 Documents Cited by ▼ Year ▼ Weak second-order arithmetic and finite automata. Zbl 0103.24705Büchi, J. R. 287 1960 Semantical analysis of modal logic. I: Normal propositional calculi. Zbl 0118.01305Kripke, S. A. 206 1963 On fuzzy logic. I. Many-valued rules of inference. Zbl 0435.03020Pavelka, Jan 181 1979 Classes of recursively enumerable sets and degree of unsolvability. Zbl 0181.30504Martin, D. A. 102 1966 On fuzzy logic. II. Enriched residuated lattices and semantics of propositional calculi. Zbl 0446.03015Pavelka, Jan 73 1979 Creative sets. Zbl 0065.00105Myhill, John 72 1955 Fuzzy membership mapped onto intervals and many-valued quantities. Zbl 0334.02011Grattan-Guinness, I. 67 1976 On fuzzy logic. III. Semantical completeness of some many-valued propositional calculi. Zbl 0446.03016Pavelka, Jan 66 1979 On languages with two variables. Zbl 0343.02009Mortimer, Michael 64 1975 Reducibility and completeness for sets of integers. Zbl 0108.00602Friedberg, Richard M.; Rogers, Hartley jun. 60 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. 53 1973 Functional characters of solvable terms. Zbl 0479.03006Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B. 51 1981 Monadic generalized spectra. Zbl 0317.02054Fagin, Ronald 46 1975 Modal logics between S4 and S5. Zbl 0178.30801Dummett, M. A. E.; Lemmon, E. J. 45 1959 The degrees of hyperimmune sets. Zbl 0216.29102Miller, Webb; Martin, D. A. 44 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 Effective operations on partial recursive functions. Zbl 0068.24706Myhill, J.; Shepherdson, J. C. 35 1955 Finite partially-ordered quantifiers. Zbl 0193.29405Enderton, H. B. 34 1970 Lambda-calculus models and extensionality. Zbl 0453.03015Hindley, R.; Longo, Giuseppe 33 1980 A semantical study of constructible falsity. Zbl 0181.00901Thomason, R. H. 33 1969 Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018Dunn, J. Michael; Meyer, Robert K. 33 1971 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 The logics containing S4.3. Zbl 0228.02011Fine, Kit 29 1971 Recursively enumerable sets and retracing functions. Zbl 0111.00904Yates, C. E. M. 28 1962 Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031Krajíček, Jan; Pudlák, Pavel 27 1990 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 27 1975 Arithmetical reducibilities. I. Zbl 0229.02037Selman, Alan L. 27 1971 Theorie der Numerierungen. III. Zbl 0374.02028Ershov, Yu. L. 26 1977 Choice implies excluded middle. Zbl 0387.03017Goodman, N.; Myhill, J. 26 1978 Monadic elementary formal systems. Zbl 0218.02030Smullyan, R. M. 26 1961 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 L’indeformabilite des rélations et multirélations binaires. Zbl 0397.04002Lopez, Gerard 23 1978 The decision problem for a class of first-order formulas in which all disjunctions are binary. Zbl 0162.31601Krom, M. R. 23 1967 Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803Shepherdson, J. C. 22 1965 Sequential calculus for a first order infinitary temporal logic. Zbl 0611.03010Kawai, Hiroya 21 1987 A brief survey of frames for the Lambek calculus. Zbl 0793.03025Došen, Kosta 21 1992 Logics which are characterized by subresiduated lattices. Zbl 0347.02040Epstein, George; Horn, Alfred 20 1976 The logic of contradiction. Zbl 0467.03019Goodman, Nicolas D. 20 1981 Relative interpretations. Zbl 0121.25501Orey, S. 20 1961 Hyperdoctrines, natural deduction and the Beck condition. Zbl 0565.03032Seely, Robert A. G. 19 1983 The notion of logical consequence in the logic of inexact predicates. Zbl 0299.02015Cleave, John P. 19 1974 Algebraically and existentially closed distributive lattices. Zbl 0425.06007Schmid, Jürg 19 1979 Exact expressions for some randomness tests. Zbl 0464.60004Gacs, Peter 19 1980 Some decision problems in the theory of syntactic categories. Zbl 0499.03010Buszkowski, Wojciech 19 1982 The degrees of bi-immune sets. Zbl 0184.02002Jockusch, C. G. jun. 19 1969 The undecidability of monadic modal quantification theory. Zbl 0111.01101Kripke, S. A. 19 1962 Note on algebraic models for relevance logic. Zbl 0696.03004Font, Josep M.; Rodríguez, Gonzalo 18 1990 A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601Loveland, D. 18 1966 Eine Klassifikation der \(\varepsilon_ 0\)-rekursiven Funktionen. (A classification of the \(\varepsilon_ 0\)-recursive functions.). Zbl 0232.02028Schwichtenberg, Helmut 18 1971 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 Second-order and inductive definability on finite structures. Zbl 0652.03032de Rougemont, Michel 18 1987 Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zbl 0066.25702Asser, Günter 17 1955 Many-valued modal propositional calculi. Zbl 0661.03011Ostermann, Pascal 17 1988 A spectrum hierarchy. Zbl 0311.02020Fagin, Ronald 17 1975 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 Rekursive Algebren mit Kettenbedingungen. Zbl 0317.02050Baur, Walter 16 1974 Grothendieck topology as geometric modality. Zbl 0474.03018Goldblatt, Robert I. 16 1981 Solution of the identity problem for integral exponential functions. Zbl 0188.32802Richardson, D. 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 Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). Zbl 0079.07605Specker, Ernst 15 1957 Heyting algebras with a dual lattice endomorphism. Zbl 0633.06005Sankappanavar, Hanamantagouda P. 15 1987 An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024Ishihara, Hajime 15 1990 Ordre de Rudin-Keisler et poids dans les théories stables. Zbl 0497.03020Lascar, Daniel 15 1982 A decision procedure for the system \(E_{\bar I}\) of entailment with negation. Zbl 0143.24902Belnap, N. D. jun.; Wallace, J. R. 15 1965 Sublattices of the recursively enumerable degrees. Zbl 0181.01301Thomason, S. K. 15 1971 Some applications of forcing to hierarchy problems in arithmetic. Zbl 0191.30601Hinman, P. G. 15 1969 Weak logics with strict implication. Zbl 0645.03004Corsi, Giovanna 14 1987 Orthomodular logic. Zbl 0373.02030Kalmbach, Gudrun 14 1974 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 A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005Abrusci, V. Michele 14 1990 Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle. Zbl 0066.25604Schröter, Karl 13 1955 Pseudocomplemented Ockham and DeMorgan algebras. Zbl 0612.06009Sankappanavar, H. P. 13 1986 Bounded induction and satisfaction classes. Zbl 0622.03025Kotlarski, Henryk 13 1986 Principal congruences of pseudocomplemented DeMorgan algebras. Zbl 0624.06016Sankappanavar, Hanamantagouda P. 13 1987 Finitary algebraic logic. Zbl 0661.03052Maddux, Roger D. 13 1989 Properties preserved under definitional equivalence and interpretations. Zbl 0408.03028Pinter, Charles C. 13 1978 Polyadic MV-algebras. Zbl 0488.03035Schwartz, Dietrich 13 1980 Superconstructive propositional calculi with extra axiom schemes containing one variable. Zbl 0246.02020Anderson, J. G. 13 1972 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 Non-commutative intuitionistic linear logic. Zbl 0810.03005Abrusci, V. Michele 12 1990 Reflection principles in fragments of Peano arithmetic. Zbl 0607.03017Ono, Hiroakira 12 1987 Definability in the existential theory of concatenation and undecidable extensions of this theory. Zbl 0635.03006Büchi, J. Richard; Senger, Steven 12 1988 Inductive inference and computable one-one numberings. Zbl 0541.03025Freivalds, Rūsinš; Kinber, Efim B.; Wiehagen, Rolf 12 1982 The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063Buszkowski, Wojciech 12 1985 Properly \(\Sigma _ 2\) enumeration degrees. Zbl 0667.03034Cooper, S. B.; Copestake, C. S. 12 1988 Allgemeine logische und mathematische Theorien. Zbl 0274.02024Kotas, Jerzy; Pieczkowski, August 12 1970 On choice sets and strongly non-trivial self-embeddings of recursive linear orders. Zbl 0654.03032Downey, Rodney G.; Moses, Michael F. 12 1989 On a formalization of the non-definedness notion. Zbl 0415.03019Hoogewijs, Albert 12 1979 Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009Buszkowski, Wojciech 12 1982 Application de la notion de rélation presque-enchainable au denombrement des restrictions finies d’une rélation. Zbl 0499.03019Pouzet, Maurice 12 1981 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. 7 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 2 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 The expressive force of some fragments of intuitionistic propositional logic with regard to Kripke frames. Zbl 0724.03008Rodenburg, P. H. 1 1992 Algebraic closure without choice. Zbl 0739.03027Banaschewski, Bernhard 1 1992 Ternary operations as primitive notions for constructive plane geometry. II. Zbl 0739.03033Pambuccian, Victor 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 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. 5 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 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 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 Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031Krajíček, Jan; Pudlák, Pavel 27 1990 Note on algebraic models for relevance logic. Zbl 0696.03004Font, Josep M.; Rodríguez, Gonzalo 18 1990 An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024Ishihara, Hajime 15 1990 A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005Abrusci, V. Michele 14 1990 Non-commutative intuitionistic linear logic. Zbl 0810.03005Abrusci, V. Michele 12 1990 Weak axioms of determinacy and subsystems of analysis. I: \(\Delta ^ 0_ 2\) games. Zbl 0729.03032Tanaka, Kazuyuki 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 Proof theory and computer programming. Zbl 0691.03042de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E. 3 1990 Permutations and stratified formulae - a preservation theorem. Zbl 0717.03019Forster, Thomas 2 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 \({\mathcal F}\)-multipliers and the localization of Hilbert algebras. Zbl 0687.06009Buşneag, Dumitru 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 The normal depth of filters on an infinite cardinal. Zbl 0738.04001Di Prisco, C. A.; Fuller, M.; Henle, J. M. 1 1990 Fuzzy natural deduction. Zbl 0669.03015Gerla, Giangiacomo; Tortora, Roberto 1 1990 A note on the existence property for intuitionistic logic with function symbols. Zbl 0671.03038Doorman, L. M. 1 1990 Extending omega-consistent sets to maximally consistent, \(\omega\)- complete sets. Zbl 0692.03023Weaver, George; Thau, Michael; Leblanc, Hugues 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 777 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,381 Authors 55 Downey, Rodney Graham 34 Sorbi, Andrea 33 Stephan, Frank 27 Shore, Richard Arnold 24 Gerla, Giangiacomo 23 Jockusch, Carl G. jun. 22 Droste, Manfred 21 Novák, Vilém 20 Lempp, Steffen 19 Vychodil, Vilém 18 Boudabbous, Youssef 18 Finkel, Olivier 18 Jain, Sanjay 17 Bridges, Douglas Suth 17 Nies, André Otfrid 16 Hájek, Petr 16 Kamide, Norihiro 16 Remmel, Jeffrey Brian 16 Terwijn, Sebastiaan A. 15 Bělohlávek, Radim 15 Gottwald, Siegfried 15 Zakharyaschev, Michael Viktorovich 14 Esteva, Francesc 14 Slaman, Theodore A. 14 Soskova, Mariya Ivanova 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 Wansing, Heinrich Theodor 13 Xu, Yang 12 Andrews, Uri 12 Bezhanishvili, Guram 12 Godo, Lluís 12 Humberstone, Lloyd 12 Ishihara, Hajime 12 Soare, Robert I. 12 Spreen, Dieter 12 Tachtsis, Eleftherios 12 Turunen, Esko 12 Wang, Guojun 11 Calude, Cristian S. 11 Cooper, Stuart Barry 11 Dëgtev, A. N. 10 Cantini, Andrea 10 Cholak, Peter A. 10 Dezani-Ciancaglini, Mariangiola 10 Erné, Marcel 10 Fagin, Ronald 10 Goldblatt, Robert Ian 10 Grädel, Erich 10 Lachlan, Alistair H. 10 Makowsky, Johann-Andreas 10 Scedrov, Andre 10 Selivanov, Viktor L’vovich 10 Vardi, Moshe Ya’akov 10 Weihrauch, Klaus 10 Wolter, Frank 9 Bazhenov, Nikolaĭ Alekseevich 9 Boussairi, Abderrahim 9 Brattka, Vasco 9 Buszkowski, Wojciech 9 Celani, Sergio Arturo 9 Font, Josep Maria 9 Ganchev, Hristo A. 9 Halpern, Joseph Yehuda 9 Harding, John 9 Harrington, Leo A. 9 Howard, Paul E. 9 McLaughlin, Thomas G. 9 Mints, Grigoriĭ Efroimovich 9 Montagna, Franco 9 Nicolai, Carlo 9 Omanadze, Roland Sh. 9 Pour-El, Marian Boykan 9 Raftery, James G. 9 Rautenberg, Wolfgang 9 Thomas, Wolfgang 9 Ying, Mingsheng 8 Ambos-Spies, Klaus 8 Avron, Arnon 8 Bezhanishvili, Nick 8 Feferman, Solomon 8 Gastin, Paul 8 Ghilardi, Silvio 8 Halbach, Volker 8 Ivanov, Aleksander A. 8 Kolaitis, Phokion G. 8 Kremer, Philip 8 Longo, Giuseppe 8 Matiyasevich, Yuriĭ Vladimirovich 8 Montalbán, Antonio 8 Mundici, Daniele 8 Ng, KengMeng 8 Noguera, Carles 8 Orłowska, Ewa S. 8 Pentus, Mati ...and 3,281 more Authors all top 5 Cited in 302 Journals 443 The Journal of Symbolic Logic 306 Theoretical Computer Science 301 Annals of Pure and Applied Logic 257 Studia Logica 126 Fuzzy Sets and Systems 102 Archive for Mathematical Logic 100 Journal of Philosophical Logic 81 Algebra Universalis 74 Transactions of the American Mathematical Society 74 Mathematical Logic Quarterly (MLQ) 71 Journal of Computer and System Sciences 71 Information and Computation 66 Algebra and Logic 64 Notre Dame Journal of Formal Logic 61 The Bulletin of Symbolic Logic 55 Archiv für Mathematische Logik und Grundlagenforschung 52 Proceedings of the American Mathematical Society 48 The Review of Symbolic Logic 43 Israel Journal of Mathematics 41 Siberian Mathematical Journal 38 Information Sciences 38 Journal of Applied Non-Classical Logics 33 Order 32 Artificial Intelligence 30 Synthese 30 Soft Computing 28 Mathematical Notes 28 International Journal of Approximate Reasoning 26 Journal of Soviet Mathematics 26 Journal of Logic, Language and Information 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 Journal of Automated Reasoning 13 International Journal of Theoretical Physics 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 8 Mathematische Zeitschrift 8 Publications of the Research Institute for Mathematical Sciences, Kyoto University 8 Rendiconti del Seminario Matematico della Università di Padova 8 International Journal of Algebra and Computation 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 Bulletin of the Section of Logic 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 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 4 Quaestiones Mathematicae ...and 202 more Journals all top 5 Cited in 52 Fields 3,221 Mathematical logic and foundations (03-XX) 1,094 Computer science (68-XX) 413 Order, lattices, ordered algebraic structures (06-XX) 154 General algebraic systems (08-XX) 119 Combinatorics (05-XX) 116 General topology (54-XX) 105 Group theory and generalizations (20-XX) 88 Category theory; homological algebra (18-XX) 85 History and biography (01-XX) 76 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 52 Number theory (11-XX) 41 Field theory and polynomials (12-XX) 31 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 Commutative algebra (13-XX) 26 Functional analysis (46-XX) 26 Geometry (51-XX) 24 General and overarching topics; collections (00-XX) 16 Operator theory (47-XX) 16 Probability theory and stochastic processes (60-XX) 15 Systems theory; control (93-XX) 14 Dynamical systems and ergodic theory (37-XX) 14 Statistics (62-XX) 14 Operations research, mathematical programming (90-XX) 13 Measure and integration (28-XX) 12 Topological groups, Lie groups (22-XX) 11 Numerical analysis (65-XX) 8 Calculus of variations and optimal control; optimization (49-XX) 8 Biology and other natural sciences (92-XX) 7 Algebraic geometry (14-XX) 7 Functions of a complex variable (30-XX) 7 Convex and discrete geometry (52-XX) 6 Linear and multilinear algebra; matrix theory (15-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) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Sequences, series, summability (40-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year