Abstract
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in proof search. The calculus includes two new connectives to deal with multisequent structures and has the cut-elimination property. Extensions are proposed that give first results concerning our objectives.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)
Andreoli, J.M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)
Laurent, O.: Syntax vs. semantics: a polarized approach. Theoretical Computer Science 343(1-2), 177–206 (2005)
Girard, J.Y.: Locus solum. Mathematical Structures in Computer Science 11, 301–506 (2001)
Curien, P.L., Faggian, C.: L-nets, strategies and proof-nets. In: Ong, L. (ed.) CSL 2005. LNCS, vol. 3634, pp. 167–183. Springer, Heidelberg (2005)
Giamberardino, P.D., Faggian, C.: Jump from parallel to sequential proofs: Multiplicatives. In: Ésik, Z. (ed.) CSL 2006. LNCS, vol. 4207, pp. 319–333. Springer, Heidelberg (2006)
Cervesato, I., Hodas, J.S., Pfenning, F.: Efficient resource management for linear logic proof search. In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS, vol. 1050, pp. 67–81. Springer, Heidelberg (1996)
O’Hearn, P.W., Pym, D.J.: The logic of bunched implications. Bulletin of Symbolic Logic 5(2), 215–244 (1999)
Guglielmi, A.: A system of interaction and structure. ACM Transactions on Computational Logic 8(1) (2007)
Fouqueré, C.: A Sequent Calculus for Modelling Interferences. Technical report, LIPN, Université Paris 13 (2007), http://hal.archives-ouvertes.fr/hal-00156386/en/
Lafont, Y.: Soft linear logic and polynomial time. Theoretical Computer Science 318(1-2), 163–180 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fouqueré, C. (2007). A Logical Calculus for Modelling Interferences. In: Jones, C.B., Liu, Z., Woodcock, J. (eds) Theoretical Aspects of Computing – ICTAC 2007. ICTAC 2007. Lecture Notes in Computer Science, vol 4711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75292-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-75292-9_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75290-5
Online ISBN: 978-3-540-75292-9
eBook Packages: Computer ScienceComputer Science (R0)