Proofs as computations in linear logic

Theoretical Computer Science

Volumn 258, Issue 1-2, 2001, Pages 269-297

  Delzanno, Giorgio ^a   Martelli, Maurizio ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

Extensions of logic programming; Higher order logic; Linear logic

Indexed keywords

FORMAL LOGIC; THEOREM PROVING;

LINEAR LOGIC;

LOGIC PROGRAMMING;

EID: 0034911230     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00024-4     Document Type: Article

References (30)

1. Logic Programming with focusing proofs in linear logic
2. Linear objects: Logical processes with built-in inheritance
3. A linear logic specification of chimera
4. Logic programming & multi-agent systems: A synergic combination for applications and semantics
5. A linear logic calculus of objects
6. Object calculi in linear logic
7. Specification of term rewriting in linear logic
8. Objects in forum
9. A specification logic for concurrent object-oriented programming
10. Proofs, concurrent objects and computations in a FILL framework
11. On proof normalization in linear logic
12. Linear logic
13. Programming in Lygon: An overview
14. Logic programming in a fragment of intuitionistic linear logic
15. Forum as a logic programming language
16. Asynchronous communication model based on linear logic
17. A lazy splitting system for forum
18. The π-calculus as a theory in linear logic: Preliminary results
19. A multiple-conclusion meta-logic
20. Forum: A multiple-conclusion specification logic
21. Uniform proofs as a foundation for logic programming
22. An overview of λ-Prolog
23. A model of concurrency based on linear logic
24. A uniform proof-theoretical investigation of linear logic programming
25. The semantics of predicate logic as a programming language