Logic Colloquium '99

- Online publication date: March 2017

from
RESEARCH ARTICLES

- Publisher: Cambridge University Press
- DOI: https://doi.org/10.1017/9781316755921.010
- pp 111-135

Recommend this book

Email your librarian or administrator to recommend adding this book to your organisation's collection.

Logic Colloquium '99

[1] Non-commutative logic I: Themultiplicative fragment, Annals of Pure and Applied Logic, vol. 101 (1999), no. 1, pp. 29-64. and ,

[2] Logic programming with focusing proofs in linear logic, Journal of Logic and Computation, vol. 2 (1992), no. 3, pp. 297-347. ,

[3] Proceedings of the Joint International Conference and Symposium on Logic Programming ( , editor),MIT Press, September 1996. , , and , Alinear logic calculus of objects,

[4] On the massively parallel execution of declarative programs, Ph.D. thesis, Technische Universität Berlin, Fachbereich Informatik, February 1997. ,

[5] Proof theoretic approach to specification languages, Ph.D. thesis, University of Pennsylvania, February 1995. ,

[6] A formulation of the simple theory of types, The Journal of Symbolic Logic, vol. 5 (1940), pp. 56-68. ,

[7] Workshop on linear logic (Girard,Lafont, andRegnier, editors),London Mathematical Society Lecture Notes 222, Cambridge University Press, 1995, pp. 211-224. , , and , LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication,

[8] 1995. and , Objects in Forum, Proceedings of the International Logic Programming Symposium,

[9] Contraction-free sequent calculi for intuitionistic logic, The Joural of Symbolic Logic, vol. 57 (1992), no. 3, pp. 795-807. ,

[10] Extensions of Logic Programming: International Workshop, Tübingen ( , editor), LNAI, vol. 475, Springer-Verlag, 1991, pp. 157-178. , A logic program for transforming sequent proofs to natural deduction proofs,

[11] Ninth International Conference on Automated Deduction ( ), Springer-Verlag,May 1988, pp. 61-80. and , Specifying theorem provers in a higher-order logic programming language,

[12] TheCollectedPapers ofGerhard Gentzen ( , editor), North-Holland Publishing Co., Amsterdam, 1969, pp. 68-131. , Investigations into logical deductions,

[13] Linear logic, Theoretical Computer Science, vol. 50 (1987), pp. 1-102. ,

[14] On the unity of logic, Annals of Pure and Applied Logic, vol. 59 (1993), pp. 201- 217. ,

[15] Non-commutativity and MELL in the calculus of structures, CSL 2001 ( , editor), LNCS, vol. 2142, 2001, pp. 54-68. and ,

[16] A framework for defining logics, Journal of the ACM, vol. 40 (1993), no. 1, pp. 143-184. , , and ,

[17] Logic programming in a fragment of intuitionistic linear logic, Information and Computation, vol. 110 (1994), no. 2, pp. 327-365. and DaleMiller,

[18] Efficient implementation of a linear logic programming language, Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming ( , editor), 1998, pp. 145 - 159. , , , and ,

[19] Linearizing intuitionistic implication, Annals of Pure and Applied Logic, (1993), pp. 151-177. , , and ,

[20] and , The UMA Forum linear logic programming language, implementation, January 1998.

[21] Cut-elimination for a logic with definitions and induction, Theoretical Computer Science, vol. 232 (2000), pp. 91-119. and DaleMiller,

[22] Proceedings of the 1992 Workshop on Extensions to Logic Programming ( and , editors), LNCS, no. 660, Springer-Verlag, 1993, pp. 242-265. , The -calculus as a theory in linear logic: Preliminary results,

[23] Forum: A multiple-conclusion specification language, Theoretical Computer Science, vol. 165 (1996), no. 1, pp. 201-232. ,

[24] Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol. 51 (1991), pp. 125-157. , , , and ,

[25] Fifth International Logic Programming Conference (Seattle),MIT Press, August 1988, pp. 810-827. and DaleMiller, An Overview of Prolog,

[26] The foundation of a generic theorem prover, Journal of Automated Reasoning, vol. 5 (1989), pp. 363-397. ,

[27] Fourth Annual Symposium on Logic in Computer Science (Monterey, CA), June 1989, pp. 313- 321. , Elf: A language for logic definition and verified metaprogramming,

[28] Logica linear e a especificaç ao de sistemas computacionais, Ph.D. thesis, Universidade Federal de Minas Gerais, Belo Horizonte, M.G., Brasil, December 2001, (written in English). ,

[29] Pomset logic: a non-commutative extension of classical linear logic, Proceedings of TLCA, vol. 1210, 1997, pp. 300-318. ,

[30] Ph.D. thesis, Department ofMathematics, Siena University, December 1998. , On the expressive powers of a logic programming presentation of linear logic (FORUM),

[31] Master's thesis, University of St. Andrews, December 1997. , Forum and its implementations,