# zbMATH — the first resource for mathematics

## Fitting, Melvin Chris

Compute Distance To:
 Author ID: fitting.melvin-c Published as: Fitting, M.; Fitting, M. C.; Fitting, Melvin; Fitting, Melvin C. Homepage: http://www.melvinfitting.org/ External Links: MGP · Wikidata · dblp · GND
 Documents Indexed: 110 Publications since 1969, including 15 Books
all top 5

#### Co-Authors

 94 single-authored 2 Thalmann, Lars 2 Voronkov, Andrei 1 Artemov, Sergei 1 Ben-Jacob, Marion 1 Fitting, Greer 1 Georgatos, Konstantinos 1 Kuznets, Roman 1 Marek, V. Wiktor 1 Mendelsohn, Richard L. 1 Müller, Berndt 1 Nerode, Anil 1 Orłowska, Ewa S. 1 Ramanujam, Rohit Sunkam 1 Rayman, Brian 1 Salvatore, Felipe 1 Smullyan, Raymond Merrill 1 Truszczyński, Mirosław 1 Ye, Ruili
all top 5

#### Serials

 11 Annals of Pure and Applied Logic 8 Studia Logica 7 Notre Dame Journal of Formal Logic 7 Journal of Logic and Computation 6 Annales Societatis Mathematicae Polonae. Series IV 6 The Journal of Logic Programming 4 The Journal of Symbolic Logic 4 Fundamenta Informaticae 3 Theoria 2 Journal of Philosophical Logic 2 Theoretical Computer Science 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Oxford Logic Guides 2 Synthese Library 1 Synthese 1 Journal of Automated Reasoning 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Logic 1 Cambridge Tracts in Mathematics 1 Studies in Logic and the Foundations of Mathematics 1 Studies in Fuzziness and Soft Computing 1 Trends in Logic – Studia Logica Library 1 Studies in Logic (London) 1 Texts in Mathematics 1 Cadernos de Lógica e Computação 1 Outstanding Contributions to Logic
all top 5

#### Fields

 95 Mathematical logic and foundations (03-XX) 29 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 4 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX)

#### Citations contained in zbMATH

80 Publications have been cited 1,295 times in 923 Documents Cited by Year
Proof methods for modal and intuitionistic logics. Zbl 0523.03013
Fitting, Melvin
1983
A Kripke-Kleene semantics for logic programs. Zbl 0589.68011
Fitting, Melvin
1985
Bilattices and the semantics of logic programming. Zbl 0757.68028
Fitting, Melvin
1991
First-order modal logic. Zbl 1025.03001
Fitting, Melvin; Mendelsohn, Richard L.
1998
First-order logic and automated theorem proving. 2nd ed. Zbl 0848.68101
Fitting, Melvin
1996
Intuitionistic logic, model theory and forcing. Zbl 0188.32003
Fitting, M. C.
1969
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
2005
First-order logic and automated theorem proving. Zbl 0692.68002
Fitting, Melvin
1990
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
1991
Fixpoint semantics for logic programming a survey. Zbl 1002.68023
Fitting, Melvin
2002
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
1992
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
1994
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
1991
Bilattices are nice things. Zbl 1157.03308
Fitting, Melvin
2006
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
1989
First-order modal tableaux. Zbl 0648.03004
Fitting, Melvin
1988
Prefixed tableaus and nested sequents. Zbl 1241.03021
Fitting, Melvin
2012
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
1972
The family of stable models. Zbl 0798.68096
Fitting, Melvin
1993
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
2002
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
1986
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
1988
First-order intensional logic. Zbl 1061.03024
Fitting, Melvin
2004
Partial models and logic programming. Zbl 0629.68090
Fitting, Melvin
1986
Justification logics, logics of knowledge, and conservativity. Zbl 1173.03013
Fitting, Melvin
2008
Term-modal logics. Zbl 0992.03026
Fitting, Melvin; Thalmann, Lars; Voronkov, Andrei
2001
Tableaus for many-valued modal logic. Zbl 0837.03017
Fitting, Melvin
1995
Nested sequents for intuitionistic logics. Zbl 1327.03006
Fitting, Melvin
2014
Realizations and LP. Zbl 1221.03020
Fitting, Melvin
2009
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
1996
A quantified logic of evidence. Zbl 1133.03008
Fitting, Melvin
2008
Modal logics between propositional and first-order. Zbl 1017.03008
Fitting, Melvin
2002
Interpolation for first order S5. Zbl 1009.03013
Fitting, Melvin
2002
Metric methods: Three examples and a theorem. Zbl 0823.68017
Fitting, Melvin
1994
Many-valued non-monotonic modal logics. Zbl 0978.03518
Fitting, M.
1992
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
1981
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
2015
Reasoning with justifications. Zbl 1166.03006
Fitting, Melvin
2009
Destructive modal resolution. Zbl 0724.03011
Fitting, Melvin
1990
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
1992
Model existence theorems for modal and intuitionistic logics. Zbl 0286.02060
Fitting, Melvin
1974
A tableau proof method admitting the empty domain. Zbl 0177.01102
Fitting, Melvin
1971
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
1969
Realization using the model existence theorem. Zbl 1403.03030
Fitting, Melvin
2016
The realization theorem for S5 a simple, constructive proof. Zbl 1317.03024
Fitting, Melvin
2011
Fitting, Melvin
2011
A theory of truth that prefers falsehood. Zbl 0880.03003
Fitting, Melvin
1997
Negation as refutation. Zbl 0716.68024
Fitting, Melvin
1989
A deterministic PROLOG fixpoint semantics. Zbl 0592.68021
Fitting, Melvin
1985
An embedding of classical logic in S4. Zbl 0219.02011
Fitting, M.
1971
Justification logic. Reasoning with reasons. Zbl 07056607
Artemov, Sergei; Fitting, Melvin
2019
Modal logics, justification logics, and realization. Zbl 1400.03040
Fitting, Melvin
2016
Justification logics and hybrid logics. Zbl 1215.03032
Fitting, Melvin
2010
Bisimulations and Boolean vectors. Zbl 1083.03025
Fitting, Melvin
2003
Intensional logic – beyond first order. Zbl 1048.03014
Fitting, Melvin
2003
Barcan both ways. Zbl 0993.03016
Fitting, Melvin
1999
A simple propositional $$\text{S}5$$ tableau system. Zbl 0972.03017
Fitting, Melvin
1999
leanTAP revisited. Zbl 0909.03013
Fitting, Melvin
1998
Enumeration operators and modular logic programming. Zbl 0608.68005
Fitting, Melvin
1987
Possible world semantics for first-order logic of proofs. Zbl 1345.03036
Fitting, Melvin
2014
Incompleteness in the land of sets. Zbl 1152.03003
Fitting, Melvin
2007
Realizations and LP. Zbl 1132.03325
Fitting, Melvin
2007
Herbrand’s theorem for a modal logic. Zbl 0947.03024
Fitting, Melvin
1999
Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035
Fitting, Melvin
1999
A modal Herbrand theorem. Zbl 0863.68102
Fitting, Melvin
1996
Pseudo-Boolean valued Prolog. Zbl 0667.68110
Fitting, Melvin
1988
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
1987
Subformula results in some propositional modal logics. Zbl 0397.03011
Fitting, Melvin
1978
Paraconsistent logic, evidence, and justification. Zbl 1417.03192
Fitting, Melvin
2017
Proving completeness for nested sequent calculi. Zbl 1261.03085
Fitting, Melvin
2011
FOIL axiomatized. Zbl 1114.03014
Fitting, Melvin
2006
Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007
Fitting, Melvin (ed.); Orłowska, Ewa (ed.)
2003
First-order alethic modal logic. Zbl 1111.03303
Fitting, Melvin
2002
Databases and higher types. Zbl 0983.68055
Fitting, Melvin
2000
Modality and databases. Zbl 0963.03028
Fitting, Melvin
2000
Higher-order modal logic – a sketch. Zbl 0955.03030
Fitting, Melvin
2000
Introduction. Zbl 0972.03542
Fitting, Melvin
1999
On quantified modal logic. Zbl 0936.03019
Fitting, Melvin
1999
A program to compute Gödel-Löb fixpoints. Zbl 1028.03509
Fitting, Melvin
1996
A tableau system for propositional S5. Zbl 0314.02039
Fitting, Melvin
1977
Justification logic. Reasoning with reasons. Zbl 07056607
Artemov, Sergei; Fitting, Melvin
2019
Paraconsistent logic, evidence, and justification. Zbl 1417.03192
Fitting, Melvin
2017
Realization using the model existence theorem. Zbl 1403.03030
Fitting, Melvin
2016
Modal logics, justification logics, and realization. Zbl 1400.03040
Fitting, Melvin
2016
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
2015
Nested sequents for intuitionistic logics. Zbl 1327.03006
Fitting, Melvin
2014
Possible world semantics for first-order logic of proofs. Zbl 1345.03036
Fitting, Melvin
2014
Prefixed tableaus and nested sequents. Zbl 1241.03021
Fitting, Melvin
2012
The realization theorem for S5 a simple, constructive proof. Zbl 1317.03024
Fitting, Melvin
2011
Fitting, Melvin
2011
Proving completeness for nested sequent calculi. Zbl 1261.03085
Fitting, Melvin
2011
Justification logics and hybrid logics. Zbl 1215.03032
Fitting, Melvin
2010
Realizations and LP. Zbl 1221.03020
Fitting, Melvin
2009
Reasoning with justifications. Zbl 1166.03006
Fitting, Melvin
2009
Justification logics, logics of knowledge, and conservativity. Zbl 1173.03013
Fitting, Melvin
2008
A quantified logic of evidence. Zbl 1133.03008
Fitting, Melvin
2008
Incompleteness in the land of sets. Zbl 1152.03003
Fitting, Melvin
2007
Realizations and LP. Zbl 1132.03325
Fitting, Melvin
2007
Bilattices are nice things. Zbl 1157.03308
Fitting, Melvin
2006
FOIL axiomatized. Zbl 1114.03014
Fitting, Melvin
2006
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
2005
First-order intensional logic. Zbl 1061.03024
Fitting, Melvin
2004
Bisimulations and Boolean vectors. Zbl 1083.03025
Fitting, Melvin
2003
Intensional logic – beyond first order. Zbl 1048.03014
Fitting, Melvin
2003
Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007
Fitting, Melvin (ed.); Orłowska, Ewa (ed.)
2003
Fixpoint semantics for logic programming a survey. Zbl 1002.68023
Fitting, Melvin
2002
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
2002
Modal logics between propositional and first-order. Zbl 1017.03008
Fitting, Melvin
2002
Interpolation for first order S5. Zbl 1009.03013
Fitting, Melvin
2002
First-order alethic modal logic. Zbl 1111.03303
Fitting, Melvin
2002
Term-modal logics. Zbl 0992.03026
Fitting, Melvin; Thalmann, Lars; Voronkov, Andrei
2001
Databases and higher types. Zbl 0983.68055
Fitting, Melvin
2000
Modality and databases. Zbl 0963.03028
Fitting, Melvin
2000
Higher-order modal logic – a sketch. Zbl 0955.03030
Fitting, Melvin
2000
Barcan both ways. Zbl 0993.03016
Fitting, Melvin
1999
A simple propositional $$\text{S}5$$ tableau system. Zbl 0972.03017
Fitting, Melvin
1999
Herbrand’s theorem for a modal logic. Zbl 0947.03024
Fitting, Melvin
1999
Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035
Fitting, Melvin
1999
Introduction. Zbl 0972.03542
Fitting, Melvin
1999
On quantified modal logic. Zbl 0936.03019
Fitting, Melvin
1999
First-order modal logic. Zbl 1025.03001
Fitting, Melvin; Mendelsohn, Richard L.
1998
leanTAP revisited. Zbl 0909.03013
Fitting, Melvin
1998
A theory of truth that prefers falsehood. Zbl 0880.03003
Fitting, Melvin
1997
First-order logic and automated theorem proving. 2nd ed. Zbl 0848.68101
Fitting, Melvin
1996
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
1996
A modal Herbrand theorem. Zbl 0863.68102
Fitting, Melvin
1996
A program to compute Gödel-Löb fixpoints. Zbl 1028.03509
Fitting, Melvin
1996
Tableaus for many-valued modal logic. Zbl 0837.03017
Fitting, Melvin
1995
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
1994
Metric methods: Three examples and a theorem. Zbl 0823.68017
Fitting, Melvin
1994
The family of stable models. Zbl 0798.68096
Fitting, Melvin
1993
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
1992
Many-valued non-monotonic modal logics. Zbl 0978.03518
Fitting, M.
1992
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
1992
Bilattices and the semantics of logic programming. Zbl 0757.68028
Fitting, Melvin
1991
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
1991
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
1991
First-order logic and automated theorem proving. Zbl 0692.68002
Fitting, Melvin
1990
Destructive modal resolution. Zbl 0724.03011
Fitting, Melvin
1990
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
1989
Negation as refutation. Zbl 0716.68024
Fitting, Melvin
1989
First-order modal tableaux. Zbl 0648.03004
Fitting, Melvin
1988
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
1988
Pseudo-Boolean valued Prolog. Zbl 0667.68110
Fitting, Melvin
1988
Enumeration operators and modular logic programming. Zbl 0608.68005
Fitting, Melvin
1987
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
1987
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
1986
Partial models and logic programming. Zbl 0629.68090
Fitting, Melvin
1986
A Kripke-Kleene semantics for logic programs. Zbl 0589.68011
Fitting, Melvin
1985
A deterministic PROLOG fixpoint semantics. Zbl 0592.68021
Fitting, Melvin
1985
Proof methods for modal and intuitionistic logics. Zbl 0523.03013
Fitting, Melvin
1983
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
1981
Subformula results in some propositional modal logics. Zbl 0397.03011
Fitting, Melvin
1978
A tableau system for propositional S5. Zbl 0314.02039
Fitting, Melvin
1977
Model existence theorems for modal and intuitionistic logics. Zbl 0286.02060
Fitting, Melvin
1974
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
1972
A tableau proof method admitting the empty domain. Zbl 0177.01102
Fitting, Melvin
1971
An embedding of classical logic in S4. Zbl 0219.02011
Fitting, M.
1971
Intuitionistic logic, model theory and forcing. Zbl 0188.32003
Fitting, M. C.
1969
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
1969
all top 5

#### Cited by 1,034 Authors

 26 Fitting, Melvin Chris 14 Kuznets, Roman 13 Wansing, Heinrich Theodor 11 Shramko, Yaroslav V. 10 Avron, Arnon 9 Arieli, Ofer 9 Benzmüller, Christoph Ewald 9 Demri, Stéphane P. 9 Petrukhin, Yaroslav Igorevich 8 Artemov, Sergei 8 Denecker, Marc 7 Peltier, Nicolas 7 Straccia, Umberto 6 Beckert, Bernhard 6 Bogaerts, Bart 6 De Cock, Martine 6 Dubois, Didier 6 Gabbay, Dov M. 6 Indrzejczak, Andrzej 6 Kamide, Norihiro 6 Leszczyńska-Jasion, Dorota 6 Liau, Churn-Jung 6 Massacci, Fabio 6 Pym, David J. 6 Rivieccio, Umberto 6 Subrahmanian, V. S. 6 Szałas, Andrzej 6 Yu, Junhua 5 Baratella, Stefano 5 Baumgartner, Peter 5 Braüner, Torben 5 Demey, Lorenz 5 Hähnle, Reiner 5 Hitzler, Pascal 5 Kurokawa, Hidenori 5 Marek, V. Wiktor 5 Martins, Manuel António 5 Nerode, Anil 5 Ono, Hiroakira 5 Rümmer, Philipp 5 Schockaert, Steven 5 Seda, Anthony Karel 5 Studer, Thomas 5 Truszczyński, Mirosław 5 Vennekens, Joost 5 Wintein, Stefan 4 Benevides, Mario R. F. 4 Blackburn, Patrick 4 Ciucci, Davide 4 Delahaye, Jean-Paul 4 Dyckhoff, Roy 4 Ésik, Zoltán 4 Giordani, Alessandro 4 Kreitz, Christoph 4 Madeira, Alexandre 4 Maruyama, Yoshihiro 4 Milnikel, Robert Saxon 4 Movsisyan, Yuri Movses 4 Muskens, Reinhard A. 4 Pacuit, Eric 4 Ramanayake, Revantha 4 Rodríguez, Ricardo Oscar 4 Rondogiannis, Panos 4 Rönnedal, Daniel 4 Schmidt, Renate A. 4 Shangin, Vasily 4 Smessaert, Hans 4 Vermeir, Dirk 4 Wijesekera, Duminda 4 Willard, Dan E. 4 Woltzenlogel Paleo, Bruno 4 Yamasaki, Susumu 3 Akama, Seiki 3 Areces, Carlos 3 Baaz, Matthias 3 Balbiani, Philippe 3 Belardinelli, Francesco 3 Bidoit, Nicole 3 Bobillo, Fernando 3 Bochman, Alexander 3 Bruynooghe, Maurice 3 Bucheli, Samuel 3 Cerrato, Claudio 3 Cintula, Petr 3 Cornelis, Chris 3 Davidova, Diana S. 3 Dean, Walter 3 Degtyarev, Anatoli Ivanovich 3 Donini, Francesco M. 3 Fan, Tuan-Fang 3 Ferguson, Thomas Macaulay 3 Font, Josep Maria 3 Gargov, George K. 3 Gerla, Giangiacomo 3 Giunchiglia, Fausto 3 Godo, Lluís 3 Governatori, Guido 3 Hájek, Petr 3 Hasan, Osman 3 Hölldobler, Steffen ...and 934 more Authors
all top 5

#### Cited in 89 Serials

 93 Studia Logica 72 Theoretical Computer Science 51 Annals of Pure and Applied Logic 40 Journal of Philosophical Logic 40 Journal of Applied Non-Classical Logics 37 Journal of Automated Reasoning 30 Artificial Intelligence 25 The Journal of Symbolic Logic 21 Annals of Mathematics and Artificial Intelligence 21 Journal of Applied Logic 20 Fuzzy Sets and Systems 18 Information and Computation 17 International Journal of Approximate Reasoning 16 Synthese 15 Notre Dame Journal of Formal Logic 15 Logica Universalis 13 Journal of Logic, Language and Information 12 Journal of Symbolic Computation 12 Logic and Logical Philosophy 12 The Review of Symbolic Logic 10 Archive for Mathematical Logic 10 The Bulletin of Symbolic Logic 9 Theory and Practice of Logic Programming 7 Bulletin of the Section of Logic 6 New Generation Computing 6 Formal Aspects of Computing 6 The Journal of Logic and Algebraic Programming 5 Algebra Universalis 5 Journal of Computer and System Sciences 5 International Journal of Computer Mathematics 5 Mathematical Logic Quarterly (MLQ) 5 Theory of Computing Systems 5 Soft Computing 4 Information Sciences 4 Journal of Differential Equations 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 4 History and Philosophy of Logic 4 International Journal of Intelligent Systems 4 ACM Transactions on Computational Logic 4 Logical Methods in Computer Science 3 Lithuanian Mathematical Journal 3 Journal of Computer Science and Technology 3 MSCS. Mathematical Structures in Computer Science 3 RAIRO. Informatique Théorique et Applications 3 Erkenntnis 2 International Journal of Theoretical Physics 2 Information Processing Letters 2 Algebra and Logic 2 Cybernetics and Systems Analysis 2 Formal Methods in System Design 2 Journal of Mathematical Sciences (New York) 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Computers & Mathematics with Applications 1 Journal of the Franklin Institute 1 Mathematical Notes 1 Moscow University Mathematics Bulletin 1 Periodica Mathematica Hungarica 1 The Mathematical Intelligencer 1 Demonstratio Mathematica 1 International Journal of Game Theory 1 The Journal of Mathematical Sociology 1 Journal of Pure and Applied Algebra 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Rendiconti del Seminario Matematico della Università di Padova 1 Transactions of the American Mathematical Society 1 Cybernetics 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Games and Economic Behavior 1 Indagationes Mathematicae. New Series 1 Applied Categorical Structures 1 Sbornik: Mathematics 1 Mathematical Communications 1 Topoi 1 Journal of Intelligent and Fuzzy Systems 1 Fixed Point Theory and Applications 1 Journal of Shanghai Jiaotong University (Science) 1 Proceedings of the Steklov Institute of Mathematics 1 Journal of Fixed Point Theory and Applications 1 International Journal of Semantic Computing 1 Science China. Information Sciences 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Symmetry 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 Frontiers of Computer Science 1 European Journal of Mathematics
all top 5

#### Cited in 28 Fields

 698 Mathematical logic and foundations (03-XX) 434 Computer science (68-XX) 47 Order, lattices, ordered algebraic structures (06-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 General algebraic systems (08-XX) 12 History and biography (01-XX) 10 General and overarching topics; collections (00-XX) 9 Category theory; homological algebra (18-XX) 9 General topology (54-XX) 4 Biology and other natural sciences (92-XX) 3 Ordinary differential equations (34-XX) 3 Information and communication theory, circuits (94-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 2 Quantum theory (81-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Integral equations (45-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.