Logic Programming with Bunched Implications: Extended Abstract
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 17, 1-24
- https://doi.org/10.1016/s1571-0661(05)01183-7
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Logic Programming with Bunched Implications: Extended AbstractElectronic Notes in Theoretical Computer Science, 1998
- A relevant analysis of natural deductionJournal of Logic and Computation, 1998
- Programming in Lygon: An overviewPublished by Springer Nature ,1996
- Logic Programming in a Fragment of Intuitionistic Linear LogicInformation and Computation, 1994
- A Uniform Proof-theoretic Investigation of Linear Logic ProgrammingJournal of Logic and Computation, 1994
- Uniform proofs as a foundation for logic programmingAnnals of Pure and Applied Logic, 1991
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- Linear logicTheoretical Computer Science, 1987
- Display logicJournal of Philosophical Logic, 1982
- Semantics for relevant logicsThe Journal of Symbolic Logic, 1972