information about Linear logic field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 62.5M papers | Mathematics 22.1M papers | Discrete mathematics 693k papers | Theoretical computer science 623k papers |
Algebra 98 papers | |||
Current | |||
Linear logic 2,125 papers | |||
Child | |||
Intuitionistic logic 2,384 papers | Proof calculus 1,045 papers | Cut-elimination theorem 766 papers |
Trends
Notes
History