Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)
Andrea AspertiLuca RoversiPublished in: CoRR (2000)
Keyphrases
- classical first order logic
- logic programming
- dynamic logic
- programming language
- logic programs
- classical logic
- affine transformation
- modal logic
- general purpose
- knowledge base
- affine invariant
- data quality
- modeling language
- linear logic
- multiscale
- programming environment
- multi valued
- data model
- asynchronous circuits
- provably correct
- database systems