Linear Logic
227
浏览
0
关注

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical logic|classical and intuitionistic logic, joining the Duality (mathematics)|dualities of the former with many of the Constructivism (mathematics)|constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics, and to a lesser extent in linguistics (see Glue Semantics) particularly because of its emphasis on resource-boundedness, duality, and interaction. Linear logic lends itself to many different presentations, explanations and intuitions. Proof theory|Proof-theoretically, it derives from an analysis of classical sequent calculus in which uses of (the structural rules) Idempotency of entailment|contraction and Monotonicity of entailment|weakening are carefully controlled. Operationally, this means that logical deduction...
[展开]
相关概念
Type System    
Proof Theory    
Proof Search    
Proof Net    
First Order    
主要的会议/期刊
演化趋势
Chart will load here
Linear Logic文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜