Results 31 to 40 of about 64,086 (306)
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
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 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
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 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
THE CLASS OF PERFECT TERNARY ARRAYS
Системный анализ и прикладная информатика, 2018 In recent decades, perfect algebraic constructions are successfully being use to signal systems synthesis, to construct block and stream cryptographic algorithms, to create pseudo-random sequence generators as well as in many other fields of science and ...
A. V. Sokolov, O. N. Zhdanov
doaj +1 more source
Consequence and complexity in infinite-valued logic: a survey
, 2002 In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. In some cases, formulae up to equivalence form an interesting class of algebraic structures.
V. Marra, D. Mundici
core +1 more source
A SYNTHESIS METHOD OF BASIC TERNARY BENT-SQUARES BASED ON THE TRIAD SHIFT OPERATOR
Системный анализ и прикладная информатика, 2017 Practical application of advanced algebraic constructions in modern communication systems based on MC-CDMA (Multi Code Code Division Multiple Access) technology and in cryptography necessitates their further research.
O. N. Zhdanov, A. V. Sokolov
doaj +1 more source
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +1 more source
The Law of Excluded Middle and the Negation of it in many-valued and Fuzzy Logics [PDF]
حکمت و فلسفه, 2008 The philosophical critiques, in twentieth century, on binary paradigm caused the negation of the law of excluded middle as the same as it caused the establishment of many-valued logics and fuzzy logic, while the laws of excluded middle, identity and ...
morteza haj hoseyni
doaj +1 more source