Results 21 to 30 of about 385,766 (333)
Translation from Three-Valued Quantum Logic to Modal Logic [PDF]
International Journal of Theoretical Physics, 2021 AbstractWe translate the three-valued quantum logic into modal logic, and prove 3-equivalence between the valuation of the three-valued logic and a kind of Kripke model in regard to this translation. To prove 3-equivalence, we introduce an observable-dependent logic, which is a fragment of the many-valued quantum logic. Compared to the Birkhoff and von
openaire +2 more sources
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
Logic Programming with Default, Weak and Strict Negations [PDF]
, 2005 This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation.
Yamasaki, Susumu
core +3 more sources
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
Encoding many-valued logic in {\lambda}-calculus
, 2020 We extend the well-known Church encoding of two-valued Boolean Logic in $\lambda$-calculus to encodings of $n$-valued propositional logic (for $3\leq n\leq 5$) in well-chosen infinitary extensions in $\lambda$-calculus.
de Vries, Fer-Jan
core +1 more source
Formal Verification of Three-Valued Digital Waveforms
Моделирование и анализ информационных систем, 2019 We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages.
Nina Yu. Kutsak, Vladislav V. Podymov
doaj +1 more source
Impure Simplicial Complexes: Complete Axiomatization [PDF]
Logical Methods in Computer Science, 2023 Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection of subsets called simplices of a set of vertices, closed under containment.
Rojo Randrianomentsoa +2 more
doaj +1 more source
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
From paraconsistent three-valued logics to multiple-source epistemic logic [PDF]
, 2013 National audienceSeveral interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time.
Ciucci, Davide, Dubois, Didier
core +2 more sources
Logiques dialogiques ‘multivalentes’
Philosophia Scientiæ, 2004 Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source