Properties (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Logic
|
| gptkbp:application |
Computer Science
Resource Management Concurrency |
| gptkbp:characterizedBy |
Non-commutativity
Resource Sensitivity Exponential Modality |
| gptkbp:developedBy |
gptkb:Jean-Yves_Girard
|
| gptkbp:hasClient |
gptkb:Quantum_Computing
Artificial Intelligence Cryptography Decision Theory Economics Formal Verification Game Theory Model Checking Software Engineering Control Theory Distributed Systems Information Theory Operations Research Systems Biology Complexity Theory Network Theory Automated Theorem Proving Social_Choice_Theory Game_Design |
| gptkbp:hasRelatedPatent |
Programming Languages
Proof Theory Game Semantics Type_Systems |
| gptkbp:hasSpecialty |
Completeness
Decidability Normalization Soundness Confluence Cut Elimination |
| gptkbp:hasVariants |
Affine Logic
Additive Linear Logic Multiplicative Linear Logic Mixed Linear Logic Subexponential_Logic |
| https://www.w3.org/2000/01/rdf-schema#label |
Linear Logic
|
| gptkbp:influencedBy |
Modal Logic
Category Theory Linear_Algebra Lambda_Calculus |
| gptkbp:relatedTo |
Classical Logic
Intuitionistic Logic |
| gptkbp:yearEstablished |
1987
|