A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear Logic.
Satoshi MatsuokaPublished in: LOPSTR (2020)
Keyphrases
- formal model
- linear logic
- correctness criterion
- fixed point
- proof search
- cut elimination
- sufficient conditions
- proof theoretic
- logical framework
- sequent calculus
- desirable properties
- logic programming
- formal models
- intuitionistic logic
- predicate calculus
- security properties
- inference rules
- natural deduction
- high level
- bayesian networks