Formalising the pi-calculus using nominal logic
Jesper BengtsonJoachim ParrowPublished in: Log. Methods Comput. Sci. (2009)
Keyphrases
- computer algebra
- natural deduction
- formal language
- proof procedure
- sequent calculus
- cut elimination
- logic programming
- modal logic
- relation algebra
- algebraic structure
- computational properties
- proof theoretic
- automated theorem proving
- defeasible logic
- set theory
- classical logic
- transition systems
- proof search
- linear logic
- logical framework
- theorem prover
- linear time temporal logic
- predicate calculus
- asynchronous circuits
- data sets
- multi valued
- inference rules
- expressive power
- description logics