Linear logic in computer science

• Autorzy: Steingartner W. , Poláková A. , Prazňák P. , Novitzká V.

Identyfikatory

DOI

10.17512/jamcm.2015.1.09

• Języki publikacji: EN

Abstrakty

EN

Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to describe dynamic processes, non-determinism, parallelism on syntactic level. In our paper we try to discuss resource oriented character of linear logic, its possibility to deal with such important resources for computer science as space (memory) and time. Handling with resources takes place in deduction system of linear logic. We show how special form of proofs, called designs, is constructed and we show the relationship between space and time in designs.

Słowa kluczowe

EN

linear logic; resources; proofs

• Wydawca: Wydawnictwo Politechniki Częstochowskiej
• Czasopismo: Journal of Applied Mathematics and Computational Mechanics
• Rocznik: 2015
• Tom: Vol. 14, nr 1
• Strony: 91--100
• Opis fizyczny: Bibliogr. 19 poz., rys.

Twórcy

autor

Steingartner W.

• Department of Computers and Informatics, Technical University of Košice Košice, Slovakia

autor

Poláková A.

• Department of Computers and Informatics, Technical University of Košice Košice, Slovakia

autor

Prazňák P.

• Department of Computers and Informatics, Technical University of Košice Košice, Slovakia

autor

Novitzká V.

• Department of Computers and Informatics, Technical University of Košice Košice, Slovakia

Bibliografia

• [1] Girard J.-Y., Linear logic, Theoretical Computer Science 1987, 50, 1-102.
• [2] Girard J.-Y., Linear logic: its syntax and semantics, [in:] Advances in Linear Logic, eds. J.-Y. Girard, Y. Lafont, L. Regnier, London Mathematical Society Lecture Note Series, No. 222, Cambridge University Press, 1995.
• [3] Sorensen M., Urzyczyn P., Lectures on the Curry-Howard isomorphism, Techn. Report 98/14, DIKU, 1998.
• [4] Mihályi D., Novitzká V., Slodičák V., From Petri nets to linear logic, Proc. of the CSE 2008 International Scientific Conference on Computer Science and Engineering, Stará Lesná, September 24-26, 2008, 48-56.
• [5] Cardoso J., Pradin-Chézalviel B., Logic and fuzzy Petri nets, Workshop on Manufacturing and Petri Nets on XVIII International Conference on Applications and Theory of Petri Nets, 1997, 1-18
• [6] Girard J.-Y., Taylor P., Lafont Y., Proofs and Types, Cambridge University Press, 1989.
• [7] Ambler S.J., First order linear logic in symmetric monoidal closed categories, PhD Thesis, University of Edinburgh, 1991.
• [8] Blute R., Scott P., Category theory for linear logicians, [in:] Linear Logic Summer School, eds. P. Ruet, T. Ehrhard, J.-Y. Girard, P. Scott, Cambridge University Press, 2003.
• [9] Mellies P.-A., An innocent model of linear logic, [in:] Category Theory in Computer Science, ed. L. Birkedal, Electron. Notes in Theoretical Computer Science 2005, 122, 171-192
• [10] Blass A., A game semantics for linear logic, Annals of Pure and Applied Logic 1992, 56, 151- -166
• [11] Mihályi D., Novitzká V., What about linear logic in computer science? Acta Polytechnica Hungarica 2013, 10, 4, 147-160.
• [12] Kurz A., Coalgebras and modal logic, Theoretical Computer Science 2001, 260, 1-2, 119- -138
• [13] Mihályi D., Duality between formal description of program construction and program behaviour, Information Sciences and Technologies Bulletin of the ACM Slovakia 2010, 2, 1, 1-5.
• [14] Mihályi D., Novitzká V., Towards the knowledge in coalgebraic model of IDS, Computing and Informatics 2014, 33, 1, 61-78.
• [15] Andreoli J.M., Logic programming with focusing proofs in linear logic, Journal of Logic and Computation 1992, 2, 297-347.
• [16] Curien P.L., Introduction to linear logic and ludics, part 1, Advances in Mathematics (China) 2005, 34, 513-544.
• [17] Curien P.L., Introduction to linear logic and ludics, part 2, Advances in Mathematics (China) 2006, 35, 1-44.
• [18] Macko P., Novitzká V., Slodičák V., The rôle of designs in linear logic, Electrical Engineering and Informatics 2012, 3, 620-623.
• [19] Macko P., Novitzká V., The resource character of linear logic, Electrical Engineering and Informatics 2011, 2, 1-4.