Three-valued logics, uncertainty management and rough sets

This paper is a survey of the connections between three-valued logics and rough sets from the point of view of incomplete information management. Based on the fact that many three-valued logics can be put under a unique algebraic umbrella, we show how to translate three-valued conjunctions and implications into operations on ill-known sets such as rough sets. We then show that while such translations may provide mathematically elegant algebraic settings for rough sets, the interpretability of these connectives in terms of an original set approximated via an equivalence relation is very limited, thus casting doubts on the practical relevance of truth-functional logical renderings of rough sets

Non-transitive linear temporal logic and logical knowledge operations

© 2015 The Author, 2015. Published by Oxford University Press. All rights reserved.We study a linear temporal logic LTLNT with non-transitive time (with NEXT and UNTIL) and possible interpretations for logical knowledge operations in this approach. We assume time to be non-transitive, linear and discrete, it is a major innovative part of our article. Motivation for our approach that time might be non-transitive and comments on possible interpretations of logical knowledge operations are given. The main result of Section 5 is a solution of the decidability problem for LTLNT, we find and describe in details the decision algorithm. In Section 6 we introduce non-transitive linear temporal logic LTLNT(m) with uniform bound (m) for non-transitivity. We compare it with standard linear temporal logic LTL and the logic LTLNT - where non-transitivity has no upper bound - and show that LTLNT may be approximated by logics LTLNT(m). Concluding part of the article contains a list of open interesting problems

On the Role of Inconsistency in Quantum Foundational Debate and Hilbert Space Formulation

This article is intended mainly to develop an expository outline of an inherently inconsistent reasoning in the development of quantum mechanics during 1920s, which set up the background of proposing different variants of quantum logic a bit later. We will discuss here two of the quantum logical variants with reference to Hilbert space formulation, based on the proposals of Bohr and Schrödinger as a result of addressing the same kernel of difficulties and will give a relative comparison. Our presentation is fairly informal, as our goal here is to simply sketch the central ideas leaving further details for other occasions.Quanta 2022; 11: 28–41

On the Role of Inconsistency in Quantum Foundational Debate and Hilbert Space Formulation

This article is intended mainly to develop an expository outline of an inherently inconsistent reasoning in the development of quantum mechanics during 1920s, which set up the background of proposing different variants of quantum logic a bit later. We will discuss here two of the quantum logical variants with reference to Hilbert space formulation, based on the proposals of Bohr and Schrödinger as a result of addressing the same kernel of difficulties and will give a relative comparison. Our presentation is fairly informal, as our goal here is to simply sketch the central ideas leaving further details for other occasions. Quanta 2022; 11: 28–41

Concepts in Action

This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields

Concepts in Action

This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields

A modal logic for indiscernibility and complementarity in information systems

International audienceIn this paper, we study indiscernibility relations and complementarity relations in information systems. The first-order characterization of indiscernibility and complementarity is obtained through a duality result between information systems and certain structures of relational type characterized by first-order conditions. The modal analysis of indiscernibility and complementarity is performed through a modal logic which modalities correspond to indiscernibility relations and complementarity relations in information systems

First-order characterization and modal analysis of indiscernibility and complementarity in information systems

International audienceIn this paper, we study indiscernibility relations and complementarity relations in information systems. The first-order characterization of indiscernibility and complementarity is obtained through a duality result between information systems and certain structures of relational type characterized by first-order conditions. The modal analysis of indiscernibility and complementarity is performed through a modal logic which modalities correspond to indiscernibility relations and complementarity relations in information systems