Interval Neutrosophic Sets and Logic: Theory and Applications in Computing

A neutrosophic set is a part of neutrosophy that studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. The neutrosophic set is a powerful general formal framework that has been recently proposed. However, the neutrosophic set needs to be specified from a technical point of view. Here, we define the set-theoretic operators on an instance of a neutrosophic set, and call it an Interval Neutrosophic Set (INS). We prove various properties of INS, which are connected to operations and relations over INS. We also introduce a new logic system based on interval neutrosophic sets. We study the interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. We also create a neutrosophic logic inference system based on interval neutrosophic logic. Under the framework of the interval neutrosophic set, we propose a data model based on the special case of the interval neutrosophic sets called Neutrosophic Data Model. This data model is the extension of fuzzy data model and paraconsistent data model. We generalize the set-theoretic operators and relation-theoretic operators of fuzzy relations and paraconsistent relations to neutrosophic relations. We propose the generalized SQL query constructs and tuple-relational calculus for Neutrosophic Data Model. We also design an architecture of Semantic Web Services agent based on the interval neutrosophic logic and do the simulation study

Negation and Dichotomy

The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as extension of the classical bivalent frame. Such classical apprehension of negation is possible in non- classical logics as well, if truth value is internalized and bivalence is replaced by bipartition

Crisp bi-G\"{o}del modal logic and its paraconsistent expansion

In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-G\"{o}del modal logic \KbiG. We prove its completeness w.r.t.\ crisp Kripke models where formulas at each state are evaluated over the standard bi-G\"{o}del algebra on $[0,1]$. We also consider a paraconsistent expansion of \KbiG with a De Morgan negation $\neg$ which we dub \KGsquare. We devise a Hilbert-style calculus for this logic and, as a~con\-se\-quence of a~conservative translation from \KbiG to \KGsquare, prove its completeness w.r.t.\ crisp Kripke models with two valuations over $[0,1]$ connected via $\neg$. For these two logics, we establish that their decidability and validity are $\mathsf{PSPACE}$-complete. We also study the semantical properties of \KbiG and \KGsquare. In particular, we show that Glivenko theorem holds only in finitely branching frames. We also explore the classes of formulas that define the same classes of frames both in $\mathbf{K}$ (the classical modal logic) and the crisp G\"{o}del modal logic \KG^c. We show that, among others, all Sahlqvist formulas and all formulas $\phi\rightarrow\chi$ where $\phi$ and $\chi$ are monotone, define the same classes of frames in $\mathbf{K}$ and \KG^c

Another Note on Paraconsistent Neutrosophic Sets

In an earlier paper, we proved that Smarandache’s definition of neutrosophic paraconsistent topology is neither a generalization of Çoker’s intuitionistic fuzzy topology nor a generalization of Smarandache’s neutrosophic topology. Recently, Salama and Alblowi proposed a new definition of neutrosophic topology, that generalizes Çoker’s intuitionistic fuzzy topology. Here, we study this new definition and its relation to Smarandache’s paraconsistent neutrosophic sets.Depto. de Álgebra, Geometría y TopologíaFac. de Ciencias MatemáticasTRUEpu

Fuzzy bi-G\"{o}del modal logic and its paraconsistent relatives

We present the axiomatisation of the fuzzy bi-G\"{o}del modal logic (formulated in the language containing $\triangle$ and treating the coimplication as a defined connective) and establish its PSpace-completeness. We also consider its paraconsistent relatives defined on fuzzy frames with two valuations $e_1$ and $e_2$ standing for the support of truth and falsity, respectively, and equipped with \emph{two fuzzy relations} $R^+$ and $R^-$ used to determine supports of truth and falsity of modal formulas. We establish embeddings of these paraconsistent logics into the fuzzy bi-G\"{o}del modal logic and use them to prove their PSpace-completeness and obtain the characterisation of definable frames

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

A modal theorem-preserving translation of a class of three-valued logics of incomplete information

International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the third truth-value. Here, we focus on the case where the third truth-value means unknown, as suggested by Kleene. Under such an understanding, we show that any truth-qualified formula in a large range of three-valued logics can be translated into KD as a modal formula of depth 1, with modalities in front of literals only, while preserving all tautologies and inference rules of the original three-valued logic. This simple information logic is a two-tiered classical propositional logic with simple semantics in terms of epistemic states understood as subsets of classical interpretations. We study in particular the translations of Kleene, Gödel, ᴌukasiewicz and Nelson logics. We show that Priest’s logic of paradox, closely connected to Kleene’s, can also be translated into our modal setting, simply by exchanging the modalities possible and necessary. Our work enables the precise expressive power of three-valued logics to be laid bare for the purpose of uncertainty management

Modal paraconsistent logic

Dissertação de mestrado integrado em Engenharia FísicaSuperconducting quantum circuits are a promising model for quantum computation, al though their physical implementation faces some adversities due to the hardly unavoidable decoherence of superconducting quantum bits. This problem may be approached from a formal perspective, using logical reasoning to perform software correctness of programs executed in the non-ideal available hardware. This is the motivation for the work devel oped in this dissertation, which is ultimately an attempt to use the formalism of transition systems to design logical tools for the engineering of quantum software. A transition system to capture the possibly unexpected behaviors of quantum circuits needs to consider the phenomena of decoherence as a possible error factor. In this way, we propose a new family of transition systems, the Paraconsistent Labelled Transition Systems (PLTS), to describe processes that may behave differently from what is expected when facing specific contexts. System states are connected through transitions which simultaneously characterize the possibility and impossibility of that being the system’s evolution. This kind of formalism may be used to represent processes whose evolution is impossible to be sharply described and, thus, should be able to cope with inconsistencies, as well as with vagueness or missing information. Besides giving the formal definition of PLTS, we establish how they are related under the notions of morphism, simulation, bisimulation and trace equivalence. It is a common practice to combine transition systems through universal constructions, in a suitable category, which forms a basis for a process description language. In this dis sertation, we define a category of PLTS and propose a number of constructions to combine them, providing a basis for such a language. Transition systems are usually associated with modal logics which provide a formal set ting to express and prove their properties. We also propose a modal logic, more specifically, a modal intuitionistic paraconsistent logic (MIPL), to talk about PLTS and express their properties, studying how the equivalence relations defined for PLTS extend to relations on MIPL models and how the satisfaction of formulas is preserved along related models. Finally, we illustrate how superconducting quantum circuits may be represented by a PLTS and propose the use of PLTS equivalence relations, namely that of trace equivalence, to compare circuit effectiveness.Os circuitos quânticos que operam qubits supercondutores são um modelo promissor para a arquitetura de computadores quânticos. No entanto, a sua implementação física pode tornar-se ineficaz, devido a fenómenos de decoerência a que os qubits em questão estão altamente sujeitos. Uma possível abordagem a este problema consiste em empregar a lógica e as suas ferramentas para a correção de programas a executar nestes dispositivos. A proposta desta dissertação é que se utilize o formalismo dos sistemas de transição para modelar e descrever o comportamento dos circuitos quânticos, que, por vezes, pode ser imprevisível. Para tal, considera-se a decoerência de qubits como um possível fator de erro nas computações. Assim surge uma nova família de sistemas de transição, os Paraconsistent Labelled Transition systems (PLTS), como um modelo para descrever processos que, em determinados contextos, se comportam de forma diferente do que é esperado. Os estados de um PLTS estão conectados por transições que caracterizam, simultaneamente, a possibilidade e a impossibilidade de o sistema evoluir transitando de um estado para o outro. Este é um modelo em que a informação acerca das transições pode ser incompleta ou mesmo contraditória. Além da definição formal dos PLTS, são também sugeridas, como relações entre PLTS, as noções de morfismo, simulação, bissimulação e equivalência por traços. Muitas vezes, os sistemas de transição são combinados através de construções universais numa categoria adequada, de forma a definir uma álgebra de processos. Também neste trabalho é definida uma categoria de PLTS e são propostas algumas construções, típicas nas álgebras de processos, para os combinar. Os sistemas de transição são geralmente associados a lógicas modais, que permitem expressar e provar as suas propriedades. A definição dos PLTS conduziu à definição de uma lógica modal, MIPL, que permitiu determinar de que forma as relações de equivalência definidas para PLTS, e estendidas para modelos da logica MIPL, se refletem na preservação da satisfação de fórmulas sobre os modelos relacionados. Por fim, propõe-se utilizar PLTS para a representação de circuitos quânticos e comparar a eficácia dos circuitos através da relação de equivalência por traços

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

This paper is an extended version of an earlier submission to WoLLIC 2023. We discuss two-layered logics formalising reasoning with probabilities and belief functions that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator and the Belnap--Dunn logic. We consider two probabilistic logics that present two perspectives on the probabilities in the Belnap--Dunn logic: $\pm$-probabilities and $\mathbf{4}$-probabilities. In the first case, every event $\phi$ has independent positive and negative measures that denote the likelihoods of $\phi$ and $\neg\phi$, respectively. In the second case, the measures of the events are treated as partitions of the sample into four exhaustive and mutually exclusive parts corresponding to pure belief, pure disbelief, conflict and uncertainty of an agent in $\phi$. In addition to that, we discuss two logics for the paraconsistent reasoning with belief and plausibility functions. They equip events with two measures (positive and negative) with their main difference being whether the negative measure of $\phi$ is defined as the \emph{belief in $\neg\phi$} or treated independently as \emph{the plausibility of $\neg\phi$}. We provide a sound and complete Hilbert-style axiomatisation of the logic of $\mathbf{4}$-probabilities and establish faithful translations between it and the logic of $\pm$-probabilities. We also show that the satisfiability problem in all the logics is $\mathsf{NP}$-complete.Comment: arXiv admin note: text overlap with arXiv:2303.0456