information about Linear logic field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 56.5M papers | Mathematics 21.7M papers | Discrete mathematics 713k papers | Theoretical computer science 641k papers |
Current | |||
Linear logic 2,091 papers | |||
Child | |||
Intuitionistic logic 2,315 papers | Proof calculus 994 papers | Cut-elimination theorem 747 papers |
Trends