Author:
Harland James,Lutovac Tatjana,Winikoff Michael
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. J.-M. Andreoli. Logic Programming with Focusing Proofs in Linear Logic. Journal of Logic and Computation, 2(3), 1992.
2. J.-M. Andreoli and R. Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. In David H. D. Warren and Peter Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 496–510, Jerusalem, 1990. The MIT Press.
3. K. Clark. Negation as Failure. In H. Gallaie and J. Minker, editors, Logic and Databases, pages 293–323. Plenum Press, 1978.
4. R. Dyckhoff. Contraction-free Sequent Calculi for Intuitionistic Logic. Journal of Symbolic Logic, 57:795–807, 1992.
5. R. Dyckhoff. A Deterministic Terminating Sequent Calculus for Godel-Dummett logic. Logic Journal of the IGPL, 7:319–326, 1999.