Proof strategies in linear logic
- 1 January 1994
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 12 (3) , 273-304
- https://doi.org/10.1007/bf00885763
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Resolution calculus for the first order linear logicJournal of Logic, Language and Information, 1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Decision problems for propositional linear logicAnnals of Pure and Applied Logic, 1992
- Gentzen-type systems and resolution rules part I propositional logicLecture Notes in Computer Science, 1990
- Linear logicTheoretical Computer Science, 1987
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965