Results 11 to 20 of about 12,692 (304)
Many-valued coalgebraic logic over semi-primal varieties [PDF]
Logical Methods in Computer ScienceWe 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 +2 more
doaj +3 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
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
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 Ferreira Vidal
openaire +5 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
openaire +4 more sources
On compactness in many-valued logic. I. [PDF]
Notre Dame Journal of Formal Logic, 1973 Peter Woodruff
openaire +4 more sources
Sequents in many valued logic II [PDF]
Fundamenta Mathematicae, 1967 G. S. Rousseau
openaire +5 more sources
Generalization of the Landauer Principle for Computing Devices Based on Many-Valued Logic [PDF]
Entropy (Basel), 2019 Edward Bormashenko
europepmc +2 more sources
On intuitionistic many-valued logics
Journal of the Mathematical Society of Japan, 1986 The authors present systems of many-valued logic which stand to classical many-valued logics such as Intuitionistic Logic stands to classical 2- valued propositional logic. The methods are essentially those of Gentzen, but with the notion of sequent generalized to matrices of sequences of formulas.
HANAZAWA, Masazumi, TAKANO, Mitio
openaire +4 more sources
Many-Valued Logic in the Jewish Short Stories
Studia Humana, 2015 Jewish short stories (parables, tales, jokes, etc.) are explained from the viewpoint of many-valued logic. On the basis of some examples, we show, how their contents may be logically interpreted.
Levin Vitaly I.
doaj +1 more source