On modal expansions of t-norm based logics with rational constants

[eng] According to Zadeh, the term “fuzzy logic” has two different meanings: wide and narrow. In a narrow sense it is a logical system which aims a formalization of approximate reasoning, and so it can be considered an extension of many-valued logic. However, Zadeh also says that the agenda of fuzzy logic is quite different from that of traditional many-valued logic, as it addresses concepts like linguistic variable, fuzzy if-then rule, linguistic quantifiers etc. Hájek, in the preface of his foundational book Metamathematics of Fuzzy Logic, agrees with Zadeh’s distinction, but stressing that formal calculi of many-valued logics are the kernel of the so-called Basic Fuzzy logic (BL), having continuous triangular norms (t-norm) and their residua as semantics for the conjunction and implication respectively, and of its most prominent extensions, namely Lukasiewicz, Gödel and Product fuzzy logics. Taking advantage of the fact that a t-norm has residuum if, and only if, it is left-continuous, the logic of the left-continuous t-norms, called MTL, was soon after introduced. On the other hand, classical modal logic is an active field of mathematical logic, originally introduced at the beginning of the XXth century for philosophical purposes, that more recently has shown to be very successful in many other areas, specially in computer science. That are the most well-known semantics for classical modal logics. Modal expansions of non-classical logics, in particular of many-valued logics, have also been studied in the literature. In this thesis we focus on the study of some modal logics over MTL, using natural generalizations of the classical Kripke relational structures where propositions at possible words can be many-valued, but keeping classical accessibility relations. In more detail, the main goal of this thesis has been to study modal expansions of the logic of a left-continuous t-norm, defined over the language of MTL expanded with rational truth-constants and the Monteiro-Baaz Delta-operator, whose intended (standard) semantics is given by Kripke models with crisp accessibility relations and taking the unit real interval [0, 1] as set of truth-values. To get complete axiomatizations, already known techniques based on the canonical model construction are uses, but this requires to ensure that the underlying (propositional) fuzzy logic is strongly standard complete. This constraint leads us to consider axiomatic systems with infinitary inference rules, already at the propositional level. A second goal of the thesis has been to also develop and automated reasoning software tool to solve satisfiability and logical consequence problems for some of the fuzzy logic modal logics considered. This dissertation is structured in four parts. After a gentle introduction, Part I contains the needed preliminaries for the thesis be as self-contained as possible. Most of the theoretical results are developed in Parts II and III. Part II focuses on solving some problems concerning the strong standard completeness of underlying non-modal expansions. We first present and axiomatic system for the non-nodal propositional logic of a left-continuous t-norm who makes use of a unique infinitary inference rule, the “density rule”, that solves several problems pointed out in the literature. We further expand this axiomatic system in order to also characterize arbitrary operations over [0, 1] satisfying certain regularity conditions. However, since this axiomatic system turn out to be not well-behaved for the modal expansion, we search for alternative axiomatizations with some particular kind of inference rules (that will be called conjunctive). Unfortunately, this kind of axiomatization does not necessarily exist for all left-continuous t-norms (in particular, it does not exist for the Gödel logic case), but we identify a wide class of t-norms for which it works. This “well-behaved” t-norms include all ordinal sums of Lukasiewiczand Product t-norms. Part III focuses on the modal expansion of the logics presented before. We propose axiomatic systems (which are, as expected, modal expansions of the ones given in the previous part) respectively strongly complete with respect to local and global Kripke semantics defined over frames with crisp accessibility relations and worlds evaluated over a “well-behaved” left-continuous t-norm. We also study some properties and extensions of these logics and also show how to use it for axiomatizing the possibilistic logic over the very same t-norm. Later on, we characterize the algebraic companion of these modal logics, provide some algebraic completeness results and study the relation between their Kripke and algebraic semantics. Finally, Part IV of the thesis is devoted to a software application, mNiB-LoS, who uses Satisfability Modulo Theories in order to build an automated reasoning system to reason over modal logics evaluated over BL algebras. The acronym of this applications stands for a modal Nice BL-logics Solver. The use of BL logics along this part is motivated by the fact that continuous t-norms can be represented as ordinal sums of three particular t-norms: Gödel, Lukasiewicz and Product ones. It is then possible to show that these t-norms have alternative characterizations that, although equivalent from the point of view of the logic, have strong differences for what concerns the design, implementation and efficiency of the application. For practical reasons, the modal structures included in the solver are limited to the finite ones (with no bound on the cardinality)

Abstract Consequence and Logics - Essays in Honor of Edelcio G. de Souza

Edelcio G. de Souza is a Brazilian logician and philosopher who has researches in the domains of abstract logic, non-classical systems, philosophy of science and the foundations of mathematics. This book is in his honor with the purpose of celebrating his 60th birthday. It contains some articles connected with the above topics and other subjects in logical investigations

Paraconsistência em lógica híbrida

Mestrado em Matemática e AplicaçõesThe use of hybrid logics allows the description of relational structures, at the same time that allows establishing accessibility relations between states and, furthermore, nominating and making mention to what happens at speci c states. However, the information we collect is subject to inconsistencies, namely, the search for di erent information sources can lead us to pick up contradictions. Nowadays, by having so many means of dissemination available, that happens frequently. The aim of this work is to develop tools capable of dealing with contradictory information that can be described as hybrid logics' formulas. To build models, to compare inconsistency in di erent databases, and to see the applicability of this method in day-to-day life are the basis for the development of this dissertation.O uso de lógicas híbridas permite a descrição de estruturas relacionais, ao mesmo tempo que permite estabelecer relações de acessibilidade entre estados, e, para além disso, nomear e fazer referência ao que acontece em estados específicos. No entanto, a informação que recolhemos está sujeita a inconsistências, isto é, a procura de diferentes fontes de informação pode levar a recolha de contradições. O que nos dias de hoje, com tantos meios de divulgação disponíveis, acontece frequentemente. O objetivo deste trabalho e desenvolver ferramentas capazes de lidar com informação contraditória que possa ser descrita através de fórmulas de lógicas híbridas. Construir modelos e comparar a inconsistência de diferentes bases de dados e ver a aplicabilidade deste método no dia-a-dia são a base para o desenvolvimento desta dissertação

The theory of inconsistency: inconsistant mathematics and paraconsistent logic

Each volume includes author's previously published papers.Bibliography: leaves 147-151 (v. 1).3 v. :Thesis (D.Sc.)--University of Adelaide, School of Mathematical Sciences, 200

Fuzzy logic applied to system control to enhance commercial appliance performance

The purpose of this research is to determine the usefulness of fuzzy logic and fuzzy control when applied to a commercial appliance. Fuzzy logic is a structured, model-free estimator that approximates a function through linguistic input/output associations. Fuzzy rule-based systems apply these methods to solve many types of real-world problems, especially where a system is difficult to model, is controlled by a human operator or expert, or where ambiguity or vagueness is common. This dissertation presents fuzzy sets, fuzzy systems, and fuzzy control, with an example conveying the use of fuzzy control of a consumer product and an overview of fuzzy logic in the field of artificial intelligence. Ultimately, it demonstrates that the use of fuzzy systems makes a viable addition to the field of artificial intelligence and, perhaps, more generally to the application of other consumer products to reduce energy consumption and increase the ease of operation. Topics such as classical logic, set theory, fuzzy set theory, and fuzzy mathematics are developed in this research to provide a foundation in fuzzy logic. Fuzzy logic is an excellent development of a basic home appliance to provide a powerful and user-friendly device. Fuzzy logic allows an engineer without a great knowledge of control systems and mathematical modeling a viable alternative in product creation. The fuzzy logic toolbox of the program MATLAB\sp{\rm TM} developed by The Mathworks Corporation is used to build and test the fuzzy logic systems explored by this dissertation. Again, in this dissertation the concept of fuzzy logic shall be explored in detail. Background and theoretical information shall be derived to provide a good base for applications. Classical logic, crisp sets, fuzzy sets, and operations on fuzzy sets are explained in order to cover a wide spectrum of applications. The focus or cumulating point will be to apply the fuzzy logic principle to any type of consumer appliance (such as a washing machine). The use of fuzzy logic will allow many household goods to be manufactured more quickly and with more options, and be energy efficient, user friendly, and cost effective

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems