Results 21 to 30 of about 64,142 (206)
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
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
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages [PDF]
, 2005 The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification languages.
Hähnle, Reiner +3 more
core +1 more source
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
On Scott’s semantics for many-valued logic [PDF]
, 2020 The semantics in ordered abelian groups Scott proposed for Łukasiewicz’s many-valued logic fails to be sound for one direction of one of the rules Scott gave for implication.
Niki, Satoru, Schuster, Peter
core +1 more source
, 1980 PART I (Partial-valued Languages): In Chapter I we consider modes of sentence composition and ask what 'truth-functionality' is functionality in two values, when there is also a third classification for meaningful sentences, An answer to this question ...
Blamey, S +2 more
core +2 more sources
From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
Mathematics, 2021 Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems ...
Masanao Ozawa
doaj +1 more source
On neutrosophic uninorms [PDF]
Neutrosophic Sets and Systems, 2021 Uninorm generalizes the notion of t-norm and t-conorm in fuzzy logic theory. They are three increasing, commutative and associate operators having one neutral element. However, such specific value identifies the kind of operator it is; t-norms have the 1
Erick González-Caballero +2 more
doaj +1 more source
Shadowing in Many-Valued Nested Structures [PDF]
, 2020 Belief shadowing is a relatively recent approach to belief change. In essence, shadowing depends on accepting beliefs of others at the expense of dismissing, perhaps temporarily, some of the own ones.
Barbara Dunin-Keplicz +3 more
core +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