information about Linear logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 62.9M papers | Mathematics 22.2M papers | Discrete mathematics 696k papers | Theoretical computer science 626k papers |
Algebra 98 papers | |||
| Current | |||
Linear logic 2,128 papers | |||
| Child | |||
Intuitionistic logic 2,390 papers | Proof calculus 1,048 papers | Cut-elimination theorem 770 papers | |
Trends
Notes
History