×

zbMATH — the first resource for mathematics

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)
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 811 more Authors

Publications by Year

Citations contained in zbMATH Open

859 Publications have been cited 4,895 times in 3,846 Documents Cited by Year
Weak second-order arithmetic and finite automata. Zbl 0103.24705
Büchi, J. R.
258
1960
Semantical analysis of modal logic. I: Normal propositional calculi. Zbl 0118.01305
Kripke, S. A.
186
1963
On fuzzy logic. I. Many-valued rules of inference. Zbl 0435.03020
Pavelka, Jan
171
1979
Classes of recursively enumerable sets and degree of unsolvability. Zbl 0181.30504
Martin, D. A.
99
1966
Creative sets. Zbl 0065.00105
Myhill, John
69
1955
On fuzzy logic. II. Enriched residuated lattices and semantics of propositional calculi. Zbl 0446.03015
Pavelka, Jan
66
1979
On fuzzy logic. III. Semantical completeness of some many-valued propositional calculi. Zbl 0446.03016
Pavelka, Jan
59
1979
Fuzzy membership mapped onto intervals and many-valued quantities. Zbl 0334.02011
Grattan-Guinness, I.
58
1976
On languages with two variables. Zbl 0343.02009
Mortimer, Michael
56
1975
Reducibility and completeness for sets of integers. Zbl 0108.00602
Friedberg, Richard M.; Rogers, Hartley jun.
55
1959
Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302
Kreisel, Georg; Levy, A.
49
1968
Theorie der Numerierungen. I. Zbl 0295.02025
Ershov, Yu. L.
48
1973
Monadic generalized spectra. Zbl 0317.02054
Fagin, Ronald
44
1975
Modal logics between S4 and S5. Zbl 0178.30801
Dummett, M. A. E.; Lemmon, E. J.
43
1959
Functional characters of solvable terms. Zbl 0479.03006
Coppo, M.; Dezani-Ciancaglini, M.; Venneri, B.
42
1981
The degrees of hyperimmune sets. Zbl 0216.29102
Miller, Webb; Martin, D. A.
40
1968
Hüllensysteme und Erweiterung von Quasi-Ordnungen. Zbl 0073.26904
Banaschewski, Bernhard
38
1956
Effective operations on partial recursive functions. Zbl 0068.24706
Myhill, J.; Shepherdson, J. C.
34
1955
Lambda-calculus models and extensionality. Zbl 0453.03015
Hindley, R.; Longo, Giuseppe
33
1980
Notes on formal theories of truth. Zbl 0661.03043
Cantini, Andrea
33
1989
Distributive initial segments of the degrees of unsolvability. Zbl 0176.27803
Lachlan, A. H.
31
1968
A semantical study of constructible falsity. Zbl 0181.00901
Thomason, R. H.
30
1969
Finite partially-ordered quantifiers. Zbl 0193.29405
Enderton, H. B.
29
1970
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
29
1971
Completeness results for Lambek syntactic calculus. Zbl 0594.03015
Buszkowski, Wojciech
28
1986
Recursively enumerable sets and retracing functions. Zbl 0111.00904
Yates, C. E. M.
28
1962
The logics containing S4.3. Zbl 0228.02011
Fine, Kit
27
1971
Quantified propositional calculi and fragments of bounded arithmetic. Zbl 0696.03031
Krajíček, Jan; Pudlák, Pavel
26
1990
Monadic elementary formal systems. Zbl 0218.02030
Smullyan, R. M.
26
1961
That all normal extensions of S4.3 have the finite model property. Zbl 0154.00407
Bull, R. A.
25
1966
Arithmetical reducibilities. I. Zbl 0229.02037
Selman, Alan L.
24
1971
On some completeness theorems in modal logic. Zbl 0295.02014
Makinson, D.
24
1966
Minimale Gruppen. Zbl 0312.02045
Reineke, Joachim
24
1975
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
24
1975
Theorie der Numerierungen. III. Zbl 0374.02028
Ershov, Yu. L.
23
1977
Choice implies excluded middle. Zbl 0387.03017
Goodman, N.; Myhill, J.
21
1978
Sequential calculus for a first order infinitary temporal logic. Zbl 0611.03010
Kawai, Hiroya
21
1987
Machine configuration and word problems of given degree of unsolvability. Zbl 0161.00803
Shepherdson, J. C.
21
1965
L’indeformabilite des rélations et multirélations binaires. Zbl 0397.04002
Lopez, Gerard
20
1978
A note on positive equivalence relations. Zbl 0625.03021
Lachlan, A. H.
20
1987
The logic of contradiction. Zbl 0467.03019
Goodman, Nicolas D.
19
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.
18
1969
A brief survey of frames for the Lambek calculus. Zbl 0793.03025
Došen, Kosta
18
1992
Exact expressions for some randomness tests. Zbl 0464.60004
Gacs, Peter
18
1980
Second-order and inductive definability on finite structures. Zbl 0652.03032
de Rougemont, Michel
18
1987
Relative interpretations. Zbl 0121.25501
Orey, S.
18
1961
Logics which are characterized by subresiduated lattices. Zbl 0347.02040
Epstein, George; Horn, Alfred
17
1976
Note on algebraic models for relevance logic. Zbl 0696.03004
Font, Josep M.; Rodríguez, Gonzalo
17
1990
Eine Klassifikation der \(\varepsilon_ 0\)-rekursiven Funktionen. (A classification of the \(\varepsilon_ 0\)-recursive functions.). Zbl 0232.02028
Schwichtenberg, Helmut
17
1971
On suborderings of degrees of recursive unsolvability. Zbl 0118.25202
Sacks, G. E.
17
1961
The decision problem for a class of first-order formulas in which all disjunctions are binary. Zbl 0162.31601
Krom, M. R.
17
1967
Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and \((n-1)\). I. Zbl 0799.04001
Lopez, Gérard; Rauzy, Claire
16
1992
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
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zbl 0066.25702
Asser, Günter
16
1955
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
Some decision problems in the theory of syntactic categories. Zbl 0499.03010
Buszkowski, Wojciech
15
1982
Solution of the identity problem for integral exponential functions. Zbl 0188.32802
Richardson, D.
15
1969
Some applications of forcing to hierarchy problems in arithmetic. Zbl 0191.30601
Hinman, P. G.
15
1969
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
The undecidability of monadic modal quantification theory. Zbl 0111.01101
Kripke, S. A.
15
1962
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
Hyperdoctrines, natural deduction and the Beck condition. Zbl 0565.03032
Seely, Robert A. G.
14
1983
Many-valued modal propositional calculi. Zbl 0661.03011
Ostermann, Pascal
14
1988
Grothendieck topology as geometric modality. Zbl 0474.03018
Goldblatt, Robert I.
14
1981
A dichotomy of the recursively enumerable sets. Zbl 0217.01202
Robinson, R. W.
14
1968
Rekursive Algebren mit Kettenbedingungen. Zbl 0317.02050
Baur, Walter
14
1974
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
Orthomodular logic. Zbl 0373.02030
Kalmbach, Gudrun
13
1974
Polyadic MV-algebras. Zbl 0488.03035
Schwartz, Dietrich
13
1980
Superconstructive propositional calculi with extra axiom schemes containing one variable. Zbl 0246.02020
Anderson, J. G.
13
1972
The priority method. I. Zbl 0153.31601
Lachlan, A. H.
13
1967
Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and \((n-1)\). II. Zbl 0799.04002
Lopez, Gérard; Rauzy, Claire
12
1992
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
Algebraically and existentially closed distributive lattices. Zbl 0425.06007
Schmid, Jürg
12
1979
Principal congruences of pseudocomplemented DeMorgan algebras. Zbl 0624.06016
Sankappanavar, Hanamantagouda P.
12
1987
Pseudocomplemented Ockham and DeMorgan algebras. Zbl 0612.06009
Sankappanavar, H. P.
12
1986
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
Properly \(\Sigma _ 2\) enumeration degrees. Zbl 0667.03034
Cooper, S. B.; Copestake, C. S.
12
1988
An omniscience principle, the König lemma and the Hahn-Banach theorem. Zbl 0684.03024
Ishihara, Hajime
12
1990
Inductive inference and computable one-one numberings. Zbl 0541.03025
Freivalds, Rūsinš; Kinber, Efim B.; Wiehagen, Rolf
12
1982
Bounded induction and satisfaction classes. Zbl 0622.03025
Kotlarski, Henryk
11
1986
A refinement of low n and high n for the r.e. degrees. Zbl 0625.03022
Mohrherr, Jeanleah
11
1986
Reflection principles in fragments of Peano arithmetic. Zbl 0607.03017
Ono, Hiroakira
11
1987
Weak logics with strict implication. Zbl 0645.03004
Corsi, Giovanna
11
1987
Enumeration reducibility using bounded information: counting minimal covers. Zbl 0646.03037
Cooper, S. Barry
11
1987
Non-commutative intuitionistic linear logic. Zbl 0810.03005
Abrusci, V. Michele
11
1990
The equivalence of unidirectional Lambek categorial grammars and context- free grammars. Zbl 0559.68063
Buszkowski, Wojciech
11
1985
A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005
Abrusci, V. Michele
11
1990
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
Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle. Zbl 0066.25604
Schröter, Karl
11
1955
A brief survey of frames for the Lambek calculus. Zbl 0793.03025
Došen, Kosta
18
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
16
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
12
1992
The fundamental theorem of ultraproduct in Pavelka’s logic. Zbl 0798.03021
Ying, Mingsheng
9
1992
Partially ordered connectives. Zbl 0798.03040
Sandu, Gabriel; Väänänen, Jouko
5
1992
Cut elimination for propositional dynamic logic without \(*\). Zbl 0793.03021
Bull, Robert A.
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
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
Representation of posets. Zbl 0793.06003
Cheng, Yungchen; Kemp, Paula
3
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
6
1991
Effectivizing inseparability. Zbl 0741.03021
Case, John
4
1991
Deduction theorem for many-valued inference. Zbl 0772.03007
Ying, Mingsheng
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
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
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
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
Boolean valued Dedekind domains. Zbl 0732.03031
Nishimura, Hirokazu
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
12
1990
Non-commutative intuitionistic linear logic. Zbl 0810.03005
Abrusci, V. Michele
11
1990
A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005
Abrusci, V. Michele
11
1990
Weak axioms of determinacy and subsystems of analysis. I: \(\Delta ^ 0_ 2\) games. Zbl 0729.03032
Tanaka, Kazuyuki
10
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
Extending omega-consistent sets to maximally consistent, \(\omega\)- complete sets. Zbl 0692.03023
Weaver, George; Thau, Michael; LeBlanc, Hugue
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
The normal depth of filters on an infinite cardinal. Zbl 0738.04001
Di Prisco, C. A.; Fuller, M.; Henle, J. M.
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
33
1989
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
Logic for reasoning about knowledge. Zbl 0711.03008
Orlowska, Ewa
9
1989
...and 759 more Documents
all top 5

Cited by 3,108 Authors

52 Downey, Rodney Graham
32 Sorbi, Andrea
29 Stephan, Frank
27 Shore, Richard A.
24 Gerla, Giangiacomo
23 Jockusch, Carl G. jun.
21 Novák, Vilém
20 Lempp, Steffen
19 Vychodil, Vilém
18 Droste, Manfred
17 Boudabbous, Youssef
17 Nies, André Otfrid
16 Bridges, Douglas Suth
16 Finkel, Olivier
16 Hájek, Petr
16 Remmel, Jeffrey B.
15 Bělohlávek, Radim
15 Gottwald, Siegfried
15 Jain, Sanjay
14 Kamide, Norihiro
14 Slaman, Theodore A.
14 Zakharyaschev, Michael Viktorovich
13 Lerman, Manuel
13 Maksimova, Larisa L’vovna
13 Soskova, Mariya Ivanova
13 Terwijn, Sebastiaan A.
13 Wansing, Heinrich Theodor
13 Xu, Yang
12 Beklemishev, Lev D.
12 Bezhanishvili, Guram
12 Esteva, Francesc
12 Godo, Lluís
12 Miller, Joseph S.
12 Miller, Russell G.
12 Soare, Robert I.
12 Turunen, Esko
12 Wang, Guojun
11 Cooper, Stuart Barry
11 Dëgtev, A. N.
11 Ishihara, Hajime
11 Spreen, Dieter
10 Andrews, Uri
10 Cholak, Peter A.
10 Erné, Marcel
10 Goldblatt, Robert Ian
10 Humberstone, Lloyd
10 Lachlan, Alistair H.
10 Makowsky, Johann-Andreas
10 Selivanov, Viktor L’vovich
10 Tachtsis, Eleftherios
10 Weihrauch, Klaus
9 Calude, Cristian S.
9 Dezani-Ciancaglini, Mariangiola
9 Fagin, Ronald
9 Font, Josep Maria
9 Greenberg, Noam
9 Kuznetsov, Stepan L’vovich
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
8 Avron, Arnon
8 Bezhanishvili, Nick
8 Brattka, Vasco
8 Buszkowski, Wojciech
8 Cantini, Andrea
8 Celani, Sergio Arturo
8 Feferman, Solomon
8 Ganchev, Hristo A.
8 Ghilardi, Silvio
8 Grädel, Erich
8 Halbach, Volker
8 Halpern, Joseph Yehuda
8 Harrington, Leo A.
8 Howard, Paul E.
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 Noguera, Carles
8 Pentus, Mati
8 Rybakov, Vladimir Vladimirovich
8 Sudoplatov, Sergeĭ Vladimirovich
8 Thomas, Wolfgang
8 Vardi, Moshe Y.
8 Venema, Yde
8 Weiermann, Andreas
8 Wolter, Frank
8 Wu, Guohua
8 Ying, Mingsheng
7 Akama, Seiki
7 Bedon, Nicolas
7 Belnap, Nuel D. jun.
7 Bès, Alexis
...and 3,008 more Authors
all top 5

Cited in 277 Journals

430 The Journal of Symbolic Logic
299 Theoretical Computer Science
290 Annals of Pure and Applied Logic
246 Studia Logica
126 Fuzzy Sets and Systems
103 Archive for Mathematical Logic
94 Journal of Philosophical Logic
78 Algebra Universalis
74 Mathematical Logic Quarterly (MLQ)
71 Journal of Computer and System Sciences
70 Transactions of the American Mathematical Society
64 Algebra and Logic
64 Information and Computation
59 Notre Dame Journal of Formal Logic
55 Archiv für Mathematische Logik und Grundlagenforschung
54 The Bulletin of Symbolic Logic
52 Proceedings of the American Mathematical Society
43 Israel Journal of Mathematics
40 Siberian Mathematical Journal
38 The Review of Symbolic Logic
37 Information Sciences
34 Journal of Applied Non-Classical Logics
29 Order
27 Mathematical Notes
27 Soft Computing
26 Journal of Soviet Mathematics
26 Synthese
26 International Journal of Approximate Reasoning
25 Artificial Intelligence
23 Journal of Logic, Language and Information
22 MSCS. Mathematical Structures in Computer Science
20 Discrete Mathematics
20 Czechoslovak Mathematical Journal
20 Theory of Computing Systems
20 Logica Universalis
19 Advances in Mathematics
18 Mathematical Systems Theory
18 Topology and its Applications
18 Journal of Applied Logic
17 Mathematische Annalen
16 Journal of Mathematical Logic
16 Bulletin of the American Mathematical Society
15 Information Processing Letters
15 Journal of Pure and Applied Algebra
15 Kybernetika
15 Mathematische Nachrichten
15 International Journal of Foundations of Computer Science
15 Indagationes Mathematicae. New Series
15 Journal of Mathematical Sciences (New York)
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
10 Acta Informatica
10 Logical Methods in Computer Science
9 Communications in Algebra
9 Discrete Applied Mathematics
9 History and Philosophy of Logic
9 Logic and Logical Philosophy
8 Computers & Mathematics with Applications
8 Mathematische Zeitschrift
8 Publications of the Research Institute for Mathematical Sciences, Kyoto University
8 Rendiconti del Seminario Matematico della Università di Padova
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 Cybernetics and Systems Analysis
6 Russian Mathematics
6 Erkenntnis
6 Lobachevskii Journal of Mathematics
6 Journal of Intelligent and Fuzzy Systems
6 ACM Transactions on Computational Logic
5 Bulletin of the Australian Mathematical Society
5 Results in Mathematics
5 Acta Mathematica Hungarica
5 International Journal of Algebra and Computation
5 Applied Categorical Structures
5 Journal of Functional Programming
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 Journal of Geometry
4 Quaestiones Mathematicae
4 Advances in Applied Mathematics
4 Games and Economic Behavior
4 Aequationes Mathematicae
...and 177 more Journals
all top 5

Cited in 51 Fields

3,002 Mathematical logic and foundations (03-XX)
987 Computer science (68-XX)
374 Order, lattices, ordered algebraic structures (06-XX)
146 General algebraic systems (08-XX)
106 Combinatorics (05-XX)
105 General topology (54-XX)
91 Group theory and generalizations (20-XX)
79 Category theory; homological algebra (18-XX)
76 History and biography (01-XX)
66 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
51 Number theory (11-XX)
38 Field theory and polynomials (12-XX)
28 Quantum theory (81-XX)
27 Commutative algebra (13-XX)
27 Real functions (26-XX)
26 Associative rings and algebras (16-XX)
26 Geometry (51-XX)
26 Information and communication theory, circuits (94-XX)
22 Functional analysis (46-XX)
19 General and overarching topics; collections (00-XX)
15 Operator theory (47-XX)
15 Probability theory and stochastic processes (60-XX)
13 Dynamical systems and ergodic theory (37-XX)
13 Statistics (62-XX)
13 Systems theory; control (93-XX)
12 Measure and integration (28-XX)
11 Topological groups, Lie groups (22-XX)
11 Numerical analysis (65-XX)
10 Operations research, mathematical programming (90-XX)
8 Biology and other natural sciences (92-XX)
7 Algebraic geometry (14-XX)
7 Calculus of variations and optimal control; optimization (49-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 Partial differential equations (35-XX)
4 Approximations and expansions (41-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 Global analysis, analysis on manifolds (58-XX)
2 Relativity and gravitational theory (83-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 Astronomy and astrophysics (85-XX)

Citations by Year