Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

This book presents the refereed proceedings of the 10th Indian Conference on Logic and Its Applications,ICLA 2023,which covered a wide range of topics related to modal and temporal logics,intuitionistic connexive and imperative logics,systems for reasoning with vagueness and rough concepts,topological quasi-Boolean logic,and first-order definability of path functions of graphs.

Format: Paperback / softback
Length: 223 pages
Publication date: 15 February 2023
Publisher: Springer International Publishing AG

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023. In addition to 6 invited papers presented in this volume, there are 9 contributed full papers, which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean-based rough set models, and first-order definability of path functions of graphs.

Modal and temporal logics: This section explores the study of logical systems that deal with modalities, such as possibility, necessity, and actuality, as well as temporal logic, which deals with the study of time and events. The papers in this section discuss various approaches to these logics, including model-theoretic and proof-theoretic methods, as well as their applications to various areas such as artificial intelligence, decision-making, and natural language processing.

Intuitionistic connexive and imperative logics: This section focuses on intuitionistic logics, which are a family of non-classical logics that are based on intuitionistic principles. The papers in this section explore the logical properties of intuitionistic logics, such as their completeness, compactness, and decidability, as well as their applications to various areas such as mathematics, computer science, and philosophy.

Systems for reasoning with vagueness and rough concepts: This section explores the development of systems for reasoning with vagueness and rough concepts, which are concepts that are imprecise or incomplete. The papers in this section discuss various approaches to reasoning with vagueness, such as fuzzy logic, rough sets, and probabilistic logic, as well as their applications to various areas such as decision-making, data analysis, and natural language processing.

Topological quasi-Boolean logic and quasi-Boolean-based rough set models: This section explores the development of topological quasi-Boolean logic and quasi-Boolean-based rough set models, which are extensions of classical Boolean logic and rough set theory that incorporate topological concepts. The papers in this section discuss various applications of these models, such as data mining, pattern recognition, and decision-making.

First-order definability of path functions of graphs: This section explores the first-order definability of path functions of graphs, which are functions that assign a value to each pair of vertices in a graph. The papers in this section discuss various approaches to the first-order definability of path functions, such as graph transformation methods, topological methods, and logical methods.

Conclusion: The 10th Indian Conference on Logic and Its Applications, ICLA 2023, was a successful event that brought together researchers from various fields to discuss and explore the latest developments in logic and its applications. The volume that resulted from this conference covers a wide range of topics and provides a valuable resource for researchers and practitioners in the field. The papers in this volume demonstrate the rich and diverse nature of logic and its applications, and we hope that they will inspire further research and development in this area.

Weight: 367g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031266881
Edition number: 1st ed. 2023