×

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

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 809 more Authors

Publications by Year

Citations contained in zbMATH Open

873 Publications have been cited 5,134 times in 4,047 Documents Cited by Year
Weak second-order arithmetic and finite automata. Zbl 0103.24705
Büchi, J. R.
281
1960
Semantical analysis of modal logic. I: Normal propositional calculi. Zbl 0118.01305
Kripke, S. A.
196
1963
On fuzzy logic. I. Many-valued rules of inference. Zbl 0435.03020
Pavelka, Jan
175
1979
Classes of recursively enumerable sets and degree of unsolvability. Zbl 0181.30504
Martin, D. A.
102
1966
Creative sets. Zbl 0065.00105
Myhill, John
70
1955
On fuzzy logic. II. Enriched residuated lattices and semantics of propositional calculi. Zbl 0446.03015
Pavelka, Jan
69
1979
Fuzzy membership mapped onto intervals and many-valued quantities. Zbl 0334.02011
Grattan-Guinness, I.
66
1976
On fuzzy logic. III. Semantical completeness of some many-valued propositional calculi. Zbl 0446.03016
Pavelka, Jan
63
1979
Reducibility and completeness for sets of integers. Zbl 0108.00602
Friedberg, Richard M.; Rogers, Hartley jun.
59
1959
On languages with two variables. Zbl 0343.02009
Mortimer, Michael
59
1975
Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302
Kreisel, Georg; Levy, A.
53
1968
Theorie der Numerierungen. I. Zbl 0295.02025
Ershov, Yu. L.
50
1973
Functional characters of solvable terms. Zbl 0479.03006
Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
49
1981
Monadic generalized spectra. Zbl 0317.02054
Fagin, Ronald
45
1975
Modal logics between S4 and S5. Zbl 0178.30801
Dummett, M. A. E.; Lemmon, E. J.
44
1959
The degrees of hyperimmune sets. Zbl 0216.29102
Miller, Webb; Martin, D. A.
42
1968
Hüllensysteme und Erweiterung von Quasi-Ordnungen. Zbl 0073.26904
Banaschewski, Bernhard
41
1956
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
35
1955
Notes on formal theories of truth. Zbl 0661.03043
Cantini, Andrea
34
1989
Lambda-calculus models and extensionality. Zbl 0453.03015
Hindley, R.; Longo, Giuseppe
33
1980
A semantical study of constructible falsity. Zbl 0181.00901
Thomason, R. H.
32
1969
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
31
1971
Distributive initial segments of the degrees of unsolvability. Zbl 0176.27803
Lachlan, A. H.
31
1968
Finite partially-ordered quantifiers. Zbl 0193.29405
Enderton, H. B.
31
1970
Completeness results for Lambek syntactic calculus. Zbl 0594.03015
Buszkowski, Wojciech
30
1986
The logics containing S4.3. Zbl 0228.02011
Fine, Kit
28
1971
Recursively enumerable sets and retracing functions. Zbl 0111.00904
Yates, C. E. M.
28
1962
Arithmetical reducibilities. I. Zbl 0229.02037
Selman, Alan L.
27
1971
Theorie der Numerierungen. III. Zbl 0374.02028
Ershov, Yu. L.
26
1977
Monadic elementary formal systems. Zbl 0218.02030
Smullyan, R. M.
26
1961
Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031
Krajíček, Jan; Pudlák, Pavel
26
1990
That all normal extensions of S4.3 have the finite model property. Zbl 0154.00407
Bull, R. A.
25
1966
A note on positive equivalence relations. Zbl 0625.03021
Lachlan, A. H.
25
1987
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
25
1975
On some completeness theorems in modal logic. Zbl 0295.02014
Makinson, D.
24
1966
Minimale Gruppen. Zbl 0312.02045
Reineke, Joachim
24
1975
L’indeformabilite des rélations et multirélations binaires. Zbl 0397.04002
Lopez, Gerard
23
1978
Choice implies excluded middle. Zbl 0387.03017
Goodman, N.; Myhill, J.
22
1978
Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803
Shepherdson, J. C.
22
1965
The decision problem for a class of first-order formulas in which all disjunctions are binary. Zbl 0162.31601
Krom, M. R.
21
1967
Sequential calculus for a first order infinitary temporal logic. Zbl 0611.03010
Kawai, Hiroya
21
1987
A brief survey of frames for the Lambek calculus. Zbl 0793.03025
Došen, Kosta
20
1992
The logic of contradiction. Zbl 0467.03019
Goodman, Nicolas D.
20
1981
The notion of logical consequence in the logic of inexact predicates. Zbl 0299.02015
Cleave, John P.
19
1974
The degrees of bi-immune sets. Zbl 0184.02002
Jockusch, C. G. jun.
19
1969
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech
19
1982
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
Exact expressions for some randomness tests. Zbl 0464.60004
Gacs, Peter
18
1980
Eine Klassifikation der \(\varepsilon_ 0\)-rekursiven Funktionen. (A classification of the \(\varepsilon_ 0\)-recursive functions.). Zbl 0232.02028
Schwichtenberg, Helmut
18
1971
The undecidability of monadic modal quantification theory. Zbl 0111.01101
Kripke, S. A.
18
1962
Relative interpretations. Zbl 0121.25501
Orey, S.
18
1961
Second-order and inductive definability on finite structures. Zbl 0652.03032
de Rougemont, Michel
18
1987
Logics which are characterized by subresiduated lattices. Zbl 0347.02040
Epstein, George; Horn, Alfred
18
1976
On suborderings of degrees of recursive unsolvability. Zbl 0118.25202
Sacks, G. E.
17
1961
Hyperdoctrines, natural deduction and the Beck condition. Zbl 0565.03032
Seely, Robert A. G.
17
1983
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zbl 0066.25702
Asser, Günter
17
1955
Note on algebraic models for relevance logic. Zbl 0696.03004
Font, Josep M.; Rodríguez, Gonzalo
17
1990
On the definition of computable function of a real variable. Zbl 0359.02029
Shepherdson, J. C.
16
1976
A classification of the recursive functions. Zbl 0247.02037
Meyer, Albert R.; Ritchie, Dennis M.
16
1972
A spectrum hierarchy. Zbl 0311.02020
Fagin, Ronald
16
1975
Rekursive Algebren mit Kettenbedingungen. Zbl 0317.02050
Baur, Walter
16
1974
Solution of the identity problem for integral exponential functions. Zbl 0188.32802
Richardson, D.
16
1969
Many-valued modal propositional calculi. Zbl 0661.03011
Ostermann, Pascal
16
1988
Algebraically and existentially closed distributive lattices. Zbl 0425.06007
Schmid, Jürg
15
1979
Grothendieck topology as geometric modality. Zbl 0474.03018
Goldblatt, Robert I.
15
1981
The undecidability of pure transcendental extensions of real fields. Zbl 0221.02034
Robinson, Raphael M.
15
1964
Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). Zbl 0079.07605
Specker, Ernst
15
1957
A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601
Loveland, D.
15
1966
Sublattices of the recursively enumerable degrees. Zbl 0181.01301
Thomason, S. K.
15
1971
Some applications of forcing to hierarchy problems in arithmetic. Zbl 0191.30601
Hinman, P. G.
15
1969
Heyting algebras with a dual lattice endomorphism. Zbl 0633.06005
Sankappanavar, Hanamantagouda P.
15
1987
Ordre de Rudin-Keisler et poids dans les théories stables. Zbl 0497.03020
Lascar, Daniel
15
1982
Orthomodular logic. Zbl 0373.02030
Kalmbach, Gudrun
14
1974
A dichotomy of the recursively enumerable sets. Zbl 0217.01202
Robinson, R. W.
14
1968
A decision procedure for the system \(E_{\bar I}\) of entailment with negation. Zbl 0143.24902
Belnap, N. D. jun.; Wallace, J. R.
14
1965
The priority method. I. Zbl 0153.31601
Lachlan, A. H.
14
1967
Weak logics with strict implication. Zbl 0645.03004
Corsi, Giovanna
14
1987
An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024
Ishihara, Hajime
14
1990
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
Superconstructive propositional calculi with extra axiom schemes containing one variable. Zbl 0246.02020
Anderson, J. G.
13
1972
Bounded induction and satisfaction classes. Zbl 0622.03025
Kotlarski, Henryk
13
1986
A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005
Abrusci, V. Michele
13
1990
Polyadic MV-algebras. Zbl 0488.03035
Schwartz, Dietrich
13
1980
Bestimmung der Ordnung maximaler Klassen von Funktionen der k-wertigen Logik. Zbl 0401.03008
Lau, Dietlinde
12
1978
Properties preserved under definitional equivalence and interpretations. Zbl 0408.03028
Pinter, Charles C.
12
1978
On a formalization of the non-definedness notion. Zbl 0415.03019
Hoogewijs, Albert
12
1979
Properly \(\Sigma _ 2\) enumeration degrees. Zbl 0667.03034
Cooper, S. B.; Copestake, C. S.
12
1988
Pseudocomplemented Ockham and DeMorgan algebras. Zbl 0612.06009
Sankappanavar, H. P.
12
1986
Principal congruences of pseudocomplemented DeMorgan algebras. Zbl 0624.06016
Sankappanavar, Hanamantagouda P.
12
1987
On choice sets and strongly non-trivial self-embeddings of recursive linear orders. Zbl 0654.03032
Downey, Rodney G.; Moses, Michael F.
12
1989
Finitary algebraic logic. Zbl 0661.03052
Maddux, Roger D.
12
1989
Non-commutative intuitionistic linear logic. Zbl 0810.03005
Abrusci, V. Michele
12
1990
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech
12
1985
Compatibility of a categorial grammar with an associated category system. Zbl 0499.03009
Buszkowski, Wojciech
12
1982
Application de la notion de rélation presque-enchainable au denombrement des restrictions finies d’une rélation. Zbl 0499.03019
Pouzet, Maurice
12
1981
Inductive inference and computable one-one numberings. Zbl 0541.03025
Freivalds, Rūsinš; Kinber, Efim B.; Wiehagen, Rolf
12
1982
The fundamental theorem of ultraproduct in Pavelka’s logic. Zbl 0798.03021
Ying, Mingsheng
11
1992
Strong comutability and variants of the uniform halting problem. Zbl 0218.02033
Herman, G. T.
11
1971
Allgemeine logische und mathematische Theorien. Zbl 0274.02024
Kotas, Jerzy; Pieczkowski, August
11
1970
Reduction of second-order logic to modal logic. Zbl 0317.02011
Thomason, S. K.
11
1975
A brief survey of frames for the Lambek calculus. Zbl 0793.03025
Došen, Kosta
20
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
11
1992
Cut elimination for propositional dynamic logic without \(*\). Zbl 0793.03021
Bull, Robert A.
7
1992
Partially ordered connectives. Zbl 0798.03040
Sandu, Gabriel; Väänänen, Jouko
5
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
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
Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values. Zbl 0798.03022
Ying, Mingsheng
4
1992
Quantified modal logic with neighborhood semantics. Zbl 0794.03025
Waagbø, Geir
3
1992
Finite replacement and finite Hilbert-style axiomatizability. Zbl 0813.03005
Herrmann, B.; Rautenberg, W.
2
1992
On the transitive hull of a \(\kappa\)-narrow relation. Zbl 0798.03051
Diener, Karl-Heinz
2
1992
The decision problem for restricted universal quantification in set theory and the axiom of foundation. Zbl 0794.03016
Parlamento, Franco; Policriti, Alberto
2
1992
Recursive Baire classification and speedable functions. Zbl 0798.03042
Calude, Cristian; Istrate, Gabriel; Zimand, Marius
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 judgement calculus for intuitionistic linear logic: Proof theory and semantics. Zbl 0739.03008
Valentini, Silvio
2
1992
On the incompleteness of a descending chain of extensions of implicational S5. Zbl 0812.03010
Ulrich, Dolph
1
1992
On some interpretations of classical logic. Zbl 0794.03011
Boričić, Branislav R.
1
1992
On the iterated \(\omega\)-rule. Zbl 0798.03057
Michalski, Grzegorz
1
1992
An interpretation of Martin-Löf’s theory of types in elementary topos theory. Zbl 0798.03059
Preller, Anne
1
1992
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
Two topological equivalents of the axiom of choice. Zbl 0797.04004
Schechter, Eric
1
1992
The expressive force of some fragments of intuitionistic propositional logic with regard to Kripke frames. Zbl 0724.03008
Rodenburg, P. H.
1
1992
Algebraic closure without choice. Zbl 0739.03027
Banaschewski, Bernhard
1
1992
Ternary operations as primitive notions for constructive plane geometry. II. Zbl 0739.03033
Pambuccian, Victor
1
1992
A construction in set-theoretic topology by means of elementary substructures. Zbl 0769.54013
Bandlow, Ingo
9
1991
Jumps of hemimaximal sets. Zbl 0739.03026
Downey, Rod; Stob, Mike
8
1991
Some quotient lattices of the Medvedev lattice. Zbl 0702.03021
Sorbi, Andrea
8
1991
The paraconsistent logics P\({\mathcal T}\). Zbl 0741.03013
da Costa, Newton C. A.; Subrahmanian, V. S.; Vago, Carlo
7
1991
The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010
Gehrke, Mai
7
1991
Deduction theorem for many-valued inference. Zbl 0772.03007
Ying, Mingsheng
5
1991
Effectivizing inseparability. Zbl 0741.03021
Case, John
4
1991
Remarks on annotated logic. Zbl 0846.03010
da Costa, Newton C. A.; Abe, Jair M.; Subrahmanian, V. S.
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
Principal congruences of demi-pseudocomplemented Ockham algebras and applications. Zbl 0774.06007
Sankappanavar, Hanamantagouda P.
3
1991
The model companion of Stone semilattices. Zbl 0759.03020
Gerber, Christoph; Schmid, Jürg
3
1991
On Rosser’s provability predicate. Zbl 0726.03042
Shavrukov, V. Yu.
3
1991
Axiomatization of the first-order intermediate logics of bounded Kripkean heights. II. Zbl 0734.03019
Yokota, Shin’ichi
3
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
Boolean valued Dedekind domains. Zbl 0732.03031
Nishimura, Hirokazu
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
Syntactical proof of translation and separation theorems on subsystems of elementary ontology. Zbl 0738.03010
Takano, Mitio
1
1991
Common logic of 2-valued semigroup connectives. Zbl 0741.03003
Rautenberg, Wolfgang
1
1991
The construction of a definable non-categorical domain. Zbl 0755.03025
Huuskonen, Taneli
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
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
Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031
Krajíček, Jan; Pudlák, Pavel
26
1990
Note on algebraic models for relevance logic. Zbl 0696.03004
Font, Josep M.; Rodríguez, Gonzalo
17
1990
An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024
Ishihara, Hajime
14
1990
A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005
Abrusci, V. Michele
13
1990
Non-commutative intuitionistic linear logic. Zbl 0810.03005
Abrusci, V. Michele
12
1990
Weak axioms of determinacy and subsystems of analysis. I: \(\Delta ^ 0_ 2\) games. Zbl 0729.03032
Tanaka, Kazuyuki
11
1990
Modal logics with \(n\)-ary connectives. Zbl 0729.03008
Ghilardi, S.; Meloni, G. C.
9
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
Jumps of nontrivial splittings of recursively enumerable sets. Zbl 0687.03021
Ingrassia, Michael A.; Lempp, Steffen
2
1990
\({\mathcal F}\)-multipliers and the localization of Hilbert algebras. Zbl 0687.06009
Buşneag, Dumitru
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
Proof theory and computer programming. Zbl 0691.03042
de Queiroz, Ruy J. G. B.; Maibaum, Thomas S. E.
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
The normal depth of filters on an infinite cardinal. Zbl 0738.04001
Di Prisco, C. A.; Fuller, M.; Henle, J. M.
1
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
On a theorem of Günter Asser. Zbl 0687.03019
Calude, Cristian; Sântean, Lila
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
On some categories of partial enumerated sets. Zbl 0732.03037
Orlicki, Andrzej
1
1990
Notes on formal theories of truth. Zbl 0661.03043
Cantini, Andrea
34
1989
...and 773 more Documents
all top 5

Cited by 3,281 Authors

55 Downey, Rodney Graham
34 Sorbi, Andrea
32 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 Jain, Sanjay
17 Finkel, Olivier
17 Nies, André Otfrid
16 Bridges, Douglas Suth
16 Hájek, Petr
16 Kamide, Norihiro
16 Remmel, Jeffrey B.
15 Bělohlávek, Radim
15 Gottwald, Siegfried
15 Terwijn, Sebastiaan A.
15 Zakharyaschev, Michael Viktorovich
14 Esteva, Francesc
14 Slaman, Theodore A.
14 Soskova, Mariya Ivanova
13 Beklemishev, Lev D.
13 Greenberg, Noam
13 Lerman, Manuel
13 Maksimova, Larisa L’vovna
13 Miller, Joseph S.
13 Miller, Russell G.
13 Wansing, Heinrich Theodor
13 Xu, Yang
12 Bezhanishvili, Guram
12 Godo, Lluís
12 Ishihara, Hajime
12 Kuznetsov, Stepan L’vovich
12 Soare, Robert I.
12 Spreen, Dieter
12 Turunen, Esko
12 Wang, Guojun
11 Andrews, Uri
11 Cooper, Stuart Barry
11 Dëgtev, A. N.
11 Humberstone, Lloyd
11 Tachtsis, Eleftherios
10 Calude, Cristian S.
10 Cholak, Peter A.
10 Dezani-Ciancaglini, Mariangiola
10 Erné, Marcel
10 Goldblatt, Robert Ian
10 Lachlan, Alistair H.
10 Makowsky, Johann-Andreas
10 Selivanov, Viktor L’vovich
10 Weihrauch, Klaus
9 Boussairi, Abderrahim
9 Brattka, Vasco
9 Buszkowski, Wojciech
9 Celani, Sergio Arturo
9 Fagin, Ronald
9 Font, Josep Maria
9 Ganchev, Hristo A.
9 Grädel, Erich
9 Harding, John
9 Harrington, Leo A.
9 Howard, Paul E.
9 McLaughlin, Thomas G.
9 Mints, Grigoriĭ Efroimovich
9 Montagna, Franco
9 Omanadze, Roland Sh.
9 Pour-El, Marian Boykan
9 Raftery, James G.
9 Rautenberg, Wolfgang
9 Vardi, Moshe Ya’akov
9 Wolter, Frank
8 Ambos-Spies, Klaus
8 Avron, Arnon
8 Bezhanishvili, Nick
8 Cantini, Andrea
8 Feferman, Solomon
8 Gastin, Paul
8 Ghilardi, Silvio
8 Halbach, Volker
8 Halpern, Joseph Yehuda
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 Nicolai, Carlo
8 Noguera, Carles
8 Pentus, Mati
8 Rybakov, Vladimir Vladimirovich
8 Schuster, Peter Michael
8 Sudoplatov, Sergeĭ Vladimirovich
8 Thomas, Wolfgang
8 Väänänen, Jouko Antero
8 Venema, Yde
...and 3,181 more Authors
all top 5

Cited in 296 Journals

441 The Journal of Symbolic Logic
303 Theoretical Computer Science
296 Annals of Pure and Applied Logic
255 Studia Logica
126 Fuzzy Sets and Systems
102 Archive for Mathematical Logic
97 Journal of Philosophical Logic
81 Algebra Universalis
74 Mathematical Logic Quarterly (MLQ)
73 Transactions of the American Mathematical Society
71 Journal of Computer and System Sciences
70 Information and Computation
65 Algebra and Logic
61 Notre Dame Journal of Formal Logic
58 The Bulletin of Symbolic Logic
55 Archiv für Mathematische Logik und Grundlagenforschung
52 Proceedings of the American Mathematical Society
43 Israel Journal of Mathematics
43 The Review of Symbolic Logic
41 Siberian Mathematical Journal
38 Information Sciences
37 Journal of Applied Non-Classical Logics
31 Order
28 Mathematical Notes
28 Synthese
28 Soft Computing
27 International Journal of Approximate Reasoning
26 Artificial Intelligence
26 Journal of Soviet Mathematics
26 Journal of Logic, Language and Information
22 MSCS. Mathematical Structures in Computer Science
21 Logica Universalis
20 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
16 Journal of Pure and Applied Algebra
16 Journal of Mathematical Sciences (New York)
16 Journal of Mathematical Logic
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
14 International Journal of General Systems
14 Journal of Automated Reasoning
14 Logical Methods in Computer Science
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
9 Communications in Algebra
9 Computers & Mathematics with Applications
9 Discrete Applied Mathematics
9 History and Philosophy of Logic
9 Lobachevskii Journal of 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 Erkenntnis
8 The Journal of Logic and Algebraic Programming
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 Asian-European Journal of Mathematics
7 Journal of Logical and Algebraic Methods in Programming
6 International Journal of Algebra and Computation
6 Cybernetics and Systems Analysis
6 Russian Mathematics
6 Journal of Functional Programming
6 Journal of Intelligent and Fuzzy Systems
6 ACM Transactions on Computational Logic
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 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
4 Advances in Applied Mathematics
...and 196 more Journals
all top 5

Cited in 52 Fields

3,149 Mathematical logic and foundations (03-XX)
1,056 Computer science (68-XX)
398 Order, lattices, ordered algebraic structures (06-XX)
153 General algebraic systems (08-XX)
117 Combinatorics (05-XX)
111 General topology (54-XX)
98 Group theory and generalizations (20-XX)
86 Category theory; homological algebra (18-XX)
81 History and biography (01-XX)
73 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
51 Number theory (11-XX)
40 Field theory and polynomials (12-XX)
30 Quantum theory (81-XX)
29 Real functions (26-XX)
28 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)
23 General and overarching topics; collections (00-XX)
17 Probability theory and stochastic processes (60-XX)
16 Operator theory (47-XX)
15 Systems theory; control (93-XX)
14 Dynamical systems and ergodic theory (37-XX)
14 Statistics (62-XX)
13 Measure and integration (28-XX)
13 Operations research, mathematical programming (90-XX)
12 Topological groups, Lie groups (22-XX)
11 Numerical analysis (65-XX)
8 Algebraic geometry (14-XX)
8 Calculus of variations and optimal control; optimization (49-XX)
8 Biology and other natural sciences (92-XX)
7 Convex and discrete geometry (52-XX)
6 Linear and multilinear algebra; matrix theory (15-XX)
6 Functions of a complex variable (30-XX)
5 Approximations and expansions (41-XX)
4 Partial differential equations (35-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 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)
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