Many-valued logics - Open Access .click

Results 1 to 10 of about 1,033,736 (302)

On transitive modal many-valued logics [PDF]

Fuzzy Sets and Systems, 2021
This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressibility questions of modal logics of transitive Kripke frames evaluated over certain residuated lattices. It is shown that a large family of those logics -- including the ones arising from the standard MV and Product ...
Amanda Vidal
semanticscholar +7 more sources

Algebraic Analysis of Many Valued Logics [PDF]

Transactions of the American Mathematical Society, 1958
This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the No-valued propositional calculus(2). For want of a better name, we shall call these algebraic systems MV-algebras where MV is supposed to suggest many-valued logics.
C. C. Chang
semanticscholar +5 more sources

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS [PDF]

Journal of Symbolic Logic (JSL), 2021
In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal many-valued logics. We exhibit a large family of these modal logics which are
Amanda Vidal
semanticscholar +3 more sources

Many-valued coalgebraic logic over semi-primal varieties [PDF]

Logical Methods in Computer Science
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz, Wolfgang Poiger, Bruno Teheux +2 more
doaj +3 more sources

Duality in finite many-valued logic. [PDF]

Notre Dame Journal of Formal Logic, 1971
The notion of duality is a familiar one in the two-valued propositional calculus. As there is only one negation connective in the two-valued propositional calculus, the dual of a truth-function can be uniquely determined. In many-valued logics there are many negation connectives.
Rangaswamy V. Setlur
openaire +5 more sources

Two Principles in Many-Valued Logic [PDF]

, 2014
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other.
S. Aguzzoli, V. Marra
openaire +5 more sources

Convex MV-Algebras: Many-Valued Logics Meet Decision Theory [PDF]