Mathematical Logic is a branch of logic that formalizes logical reasoning within a mathematical framework, distinguishing itself by employing rigorous mathematical methods to study the structure, syntax, and semantics of formal logical systems.
4K
Publications
273K
Citations
4.7K
Authors
1.5K
Institutions
Publications per year
2017–2026
346
Parents
Publications
4K
Fuzzy logic = computing with words
Lotfi A. Zadeh · IEEE Transactions on Fuzzy Systems · 1996 · 3.2K citations
A Computing Procedure for Quantification Theory
Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text
Jerry M. Mendel, Robert John · IEEE Transactions on Fuzzy Systems · 2002 · 2.6K citations
1–5 of 4K
Authors
4.7K
- JM
27
h-index
- WP
20
h-index
- LA
18
h-index
- PH
17
h-index
- RR
16
h-index
1–5 of 4.7K
Institutions
1.5K
University of California, Berkeley
Berkeley, United States
29 h-index
48 publications
23.1K citations
Stanford University
Stanford, United States
29 h-index
67 publications
6.9K citations
University of Southern California
Los Angeles, United States
29 h-index
59 publications
24.4K citations
Carnegie Mellon University
Pittsburgh, United States
27 h-index
65 publications
5.2K citations
Centre National de la Recherche Scientifique
Paris, France
26 h-index
82 publications
4.3K citations
Czech Academy of Sciences, Institute of Computer Science
Prague, Czechia
24 h-index
49 publications
2.5K citations
University of Edinburgh
Edinburgh, United Kingdom
24 h-index
45 publications
1.9K citations
University of Ostrava
Ostrava, Czechia
23 h-index
55 publications
1.8K citations
1–8 of 1.5K
Venues
- Journal of Symbolic Logic
187 publications · 17.8K citations
62
h-index
- Fuzzy Sets and Systems
113 publications · 10.1K citations
48
h-index
- IEEE Transactions on Fuzzy Systems
TFS · 78 publications · 21.1K citations
47
h-index
- Journal of Logic and Computation
61 publications · 2.5K citations
30
h-index
- Bulletin of Symbolic Logic
44 publications · 3K citations
29
h-index
1–5