Results 21 to 30 of about 12,692 (304)
Paraconsistentization and many-valued logics
Logic Journal of the IGPL, 2022 Abstract This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
de Souza, Edelcio G. +2 more
openaire +2 more sources
NONLINEAR NYBERG CONSTRUCTION TRANSFORMS OVER ISOMORPHIC REPRESENTATIONS OF FIELDS GALOIS
Системный анализ и прикладная информатика, 2017 Further development of cryptographic algorithms based on the principles of many-valued logic requires more accurate research of non-binary cryptographic primitives – S-boxes.
A. V. Sokolov, O. N. Zhdanov
doaj +1 more source
Many-valued hybrid logic [PDF]
Journal of Logic and Computation, 2015 In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
Hansen, Jens Ulrik +2 more
openaire +3 more sources
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
Manuscrito, 2011 The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974).
Paul Weingartner
doaj +1 more source
Bulletin of the Section of Logic, 2020 In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem.
Shokoofeh Ghorbani
doaj +1 more source
An approach for linguistic multi-attribute decision making based on linguistic many-valued logic
IJAIN (International Journal of Advances in Intelligent Informatics), 2022 There are various types of multi-attribute decision-making (MADM) problems in our daily lives and decision-making problems under uncertain environments with vague and imprecise information involved.
Anh Phuong Le +3 more
doaj +1 more source
The Logic of Self-Organized Criticality
Studia Humana, 2015 A consideration of non-classical logic in terms of classical one allows us to show a role of designated truth values. In this way we show that our version of non-classical many-valued logic can be based on the structure of genetic code.
Bakhtiyarov Kamil I.
doaj +1 more source
Many-Valued Logics and Translations
Journal of Applied Non-Classical Logics, 1999 This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propo...
D'Ottaviano, Ítala M. Loffredo +1 more
openaire +4 more sources
Logical Determinacy versus Logical Contingency. The Case of Łukasiewicz’s Three-valued Logic
Studia Humana, 2019 In constructing the three-valued logic, Jan Łukasiewicz was highly inspirited by the Aristotelian idea of logical contingency. Nevertheless, we can construct a four-valued logic for explicating the Stoic idea of logical determinacy.
Schumann Andrew
doaj +1 more source
On Jan Łukasiewicz’s many-valued logic and his criticism of determinism
Philosophia Scientiæ, 2011 The article deals with Jan Łukasiewicz’s thesis that the truth or falsity of some propositions about the future—future contingents—entails determinism.
Dariusz Łukasiewicz
doaj +1 more source