A Modern Interpreter of Predicate Linear Logic Formulas

This paper describes the design, implementation and possibilities of using a new interpreter of resource-oriented logical formulas. Predicate linear logic is an apparatus that captures the dynamics of a changing world uniquely -resources are consumed after their use. Although this logic system is quite well researched in the world due to its unique features, its most widespread computer implementations are woefully outdated and unsuitable for current research needs. The interpreter described in this article was created after a detailed study of the principles of predicate linear logic as well as existing interpreters of this logic. The new interpreter will be used not only in teaching the subject Logic for Informatics at the Technical University in Košice, but we also plan to expand its possibilities and build on the ongoing (so far only) theoretical research at our university.