Overview of the publication “Selected Topics in Logic in Computer Science”

Abstract

Mathematical logic is a fundamental area both of mathematics and computer science, being at the frontier between them, which encompasses complex mathematical reasoning about its objects of study and provides rigorous tools for concrete realization.This edition of Collection of articles, Zbornik radova Matematičkog instituta SANU [2] brings together researchers from different topics of mathematical logic with focus on applications to computer science. It is complementary to the issue Collection of articles, Zbornik radova 12(20), 2009, [1], edited by Zoran Ognjanović and presents novel research in the area. The articles are meant to a wide mathematical audience from doctoral students and early stage researchers to specialist in the fields. Each of the articles gives an introductory overview of the topics, develops the obtained results, points to open problems and further work and gives a comprehensive bibliography of the related work. This collection comprises six articles that range through different topics of category proof theory, first-order probabilistic logics, clones and hyper-clones, computational interpretations of logics, switching theory and logical design, and inter-active theorem proving. •Zoran Petrić (Mathematical Institute SANU). - 270 Minutes on Categorial Proof Theory. •Nebojša Ikodinović (Faculty of Mathematics, University of Belgrade), Zoran Ognjanović, Miodrag Raškovic, Zoran Marković (Mathematical Institute SANU). - First-order Probabilistic Logics and their Applications. •Silvia Ghilezan, Jelena Ivetić (Faculty of Technical Sciences, University of Novi Sad), Silvia Likavec, Pierre Lescanne, (École normale supérieure de Lyon, France). - Structural Rules and Resource Control in Logic and Computation. •Jelena Čolić-Oravec, Jovanka Pantović (Faculty of Technical Sciences, University of Novi Sad), Hajime Machida (International Christian University, Tokyo, Japan), Gradimir Vojvodić (University of Novi Sad). - From Clones to Hyper-Clones. •Radomir S. Stanković (Faculty of Electronic Engineering, University of Niš), Jaakko Astola (Tampere University of Technology, Tampere, Finland), Claudio Moraga (European Center for Soft Computing, Mieres, Spain). - Pascal Matrices, Reed-Muller Expressions and Reed-Muller Error Correcting Codes. •Filip Marić (Faculty of Mathematics, University of Belgrade). - A Survey of Interactive Theorem Proving. The authors from Serbia are involved in three national projects of the Ministry of Education, Science and Technological Development of Serbia in the period 2011-2015 and the articles present overviews of results obtained within these projects: “Representations of logical structures and formal languages and their application in computing”, 174026, “Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education”, 44006, and “Automated Reasoning and Data Mining”, 174021.The articles are internationally co-authored, which provides a wide international framework and increases the prominence of the presented work.