The following are the current most viewed articles on Wikipedia within Wikipedia's Systems of formal logic category. Think of it as a What's Hot list for Systems of formal logic. More info »
This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.
Rank  Topic  Wikipedia views  

1  Firstorder logic  2,038  
2  Propositional calculus  1,293  
3  Predicate logic  610  
4  Type theory  419  
5  Secondorder logic  328  
6  Intuitionistic logic  271  
7  Paraconsistent logic  181  
8  Higherorder logic  104  
9  Categorical logic  94  
10  Manysorted logic  56  
11  Infinitary logic  43  
12  Intermediate logic  27  
13  Asynchronous logic (algebra)  24  
14  Ωlogic  21  
15  Frege's propositional calculus  20  
16  Attributional calculus  20  
17  Implicational propositional calculus  19  
18  Zerothorder logic  18  
19  Independencefriendly logic  15  
20  Minimal logic  13  
21  Synthetic logic  12  
22  Logics for computability  less than 5 views  
23  Kinetic logic  less than 5 views  
24  Logic systems  less than 5 views 
These systems provide a syntax and semantics for the formal study of logic.
This category has the following 3 subcategories, out of 3 total.
The following 23 pages are in this category, out of 23 total. This list may not reflect recent changes (learn more).
CFHI 
I cont.KLMP 
P cont.STZfΩ 
