information about Linear logic field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 56.2M papers | Mathematics 21.6M papers | Discrete mathematics 711k papers | Theoretical computer science 637k papers |
Current | |||
Linear logic 2,089 papers | |||
Child | |||
Intuitionistic logic 2,312 papers | Proof calculus 993 papers | Cut-elimination theorem 746 papers |
Trends