منابع مشابه
Reduction of Many-valued into Two-valued Modal Logics
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with the introduction of higher-order Herbrand interpretation types, where we explicitly introduce the coexistence of a set of algebraic truth values of original many-valued logic, transformed as parameters (or possible w...
متن کاملKleene Algebras, Regular Languages and Substructural Logics
We introduce the two substructural propositional logics KL, KL, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a variant thereof. We also prove strong completeness for language models, where each logic comes with a different interpretation. We show that for both logics the...
متن کاملNon-associative Kleene Algebra and Temporal Logics
In earlier papers we have presented algebraic semantics of CTL and CTL*. However, they were not fully satisfactory. In particular, the treatment of the iteration operators U (“Until”) and W (“While”) employed ad-hoc definitions with general recursion, and their interrelation in CTL* and CTL was not set up in a very algebraic way. In this paper we use a new operator with which U and W can be des...
متن کاملMany-Valued Logics
The paper considers the fundamental notions of manyvalued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics. Besides this logical approach also a more algebraic approach is discussed. And the paper ends with some hints toward applications which are based upon actual theoretical considerations about infinite v...
متن کاملMulti-Valued Logics
A great deal of recent theoretical work in inference has involved extending classical logic in some way. I argue that these extensions share two properties: firstly, the formal addition of truth values encoding intermediate levels of validity between true (i.e., valid) and false (i.e., invalid) and, secondly, the addition of truth values encoding intermediate levels of certainty between true or...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Manuscrito
سال: 2019
ISSN: 2317-630X,0100-6045
DOI: 10.1590/0100-6045.2019.v42n1.db