Abstract
We present a non-commutative linear logic — the logic of predicates with equality and explicit substitutions. Thus, the position of linear logic with respect to the usual logic is given a new explanation.
Preview
Unable to display preview. Download preview PDF.
References
Abadi, M., Cardelli, L., Curien, P.-L. and J-J. Lévy. Explicit substitutions. ACM Conf. on Principles of Programming Languages, San Francisco, 1990.
Avron, A. Simple consequence relations. Information & Computation, Vol 92, No 1, pp. 105–139, May 1991.
Basin, D., Matthews, S., L.Vigano. A modular presentation of modal logics in a logical framework. Proc. 1st Isabelle User Workshop, pp. 137–148, Cambridge, 1995.
Bednarczyk, M. A. Quasi quantales. GDM Research Report, ICS PAS, 1994.
Bednarczyk, M. A. and T. Borzyszkowski Towards program development with Isabelle. Proc. 1st Isabelle User Workshop, pp.101–121, Cambridge, 1995.
Bednarczyk, M. A. Logic of predicates versus linear logic. ICS PAS Reports, N∘ 795, December 1995.
Brown, C. and D. Gurr. Relations and non-commutative linear logic. To appear in J. of Pure and Applied Algebra
Gallier, J. Logic for Computer Science. Foundations of Automatic Theorem Proving. Harper & Row, New York, 1986.
Gallier, J. Constructive logics. Part II: linear logic and proof nets. Research Report, CIS, University of Pennsylvania, 1992.
Girard, J.-Y. Linear logic. Theoretical Computer Science, 50 (1987), pp 1–102.
Girard, J.-Y. and Y. Lafont. Linear logic and lazy computation. In: Proc. TAP-SOFT'87 (Pisa), vol. 2, LNCS 250, Springer Verlag, 1987, pp 52–66.
Girard, J.-Y., Lafont, Y. and P. Taylor. Proofs and Types. volume 7 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1989.
Girard, J.-Y. Linear logic: its syntax and semantics. In Advances of Linear Logic, 1995.
Lescane, P. From λσ to λν a journey through calculi of explicit substitutions. ACM Conf. on Principles of Programming Languages, San Portland, 1994.
Mendelson, E. Introduction to Mathematical Logic. D. Van Nostrand Company, 1964.
Poigné, A. Basic Category Theory. In Handbook of Logic in Computer Science. Vol I. Clarendon Press, Oxford, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bednarczyk, M.A. (1996). Logic of predicates with explicit substitutions. In: Penczek, W., Szałas, A. (eds) Mathematical Foundations of Computer Science 1996. MFCS 1996. Lecture Notes in Computer Science, vol 1113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61550-4_148
Download citation
DOI: https://doi.org/10.1007/3-540-61550-4_148
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61550-7
Online ISBN: 978-3-540-70597-0
eBook Packages: Springer Book Archive