×

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

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

Publications by Year

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 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