Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin DengIliano CervesatoRobert J. SimmonsPublished in: LINEARITY (2012)
Keyphrases
- linear logic
- process algebra
- proof theoretic
- intuitionistic logic
- logical framework
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- formal methods
- concurrent programs
- logic programming
- web services composition
- communication protocols
- sequent calculus
- cut elimination
- reasoning tasks
- desirable properties
- fixed point
- artificial intelligence
- temporal logic
- probabilistic reasoning
- inference rules
- petri net
- distributed systems
- expert systems
- knowledge base
- default reasoning
- nonmonotonic reasoning
- answer set programming
- sufficient conditions
- knowledge representation
- database systems