Results 21 to 30 of about 8,214,233 (250)
Chisholm’s modal paradox: two approaches examined
Perspectiva Filosófica, 2021 This paper is organized in the following way: the first section puts forward the version of Chisholm’s Modal Paradox that is going to be taken into consideration.
Fernando Fabricio Rodrigues Furtado
doaj +1 more source
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.
Edelcio Gonçalves de Souza +2 more
openaire +3 more sources
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
, 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 +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 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
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
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
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
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