Results 1 to 10 of about 1,435,923 (372)
Encoding many-valued logic in $\lambda$-calculus [PDF]
Logical Methods in Computer Science, 2021 We will extend the well-known Church encoding of Boolean logic into $\lambda$-calculus to an encoding of McCarthy's $3$-valued logic into a suitable infinitary extension of $\lambda$-calculus that identifies all unsolvables by $\bot$, where $\bot$ is a ...
Fer-Jan de Vries
doaj +3 more sources
Finiteness of One-Valued Function Classes in Many-Valued Logic [PDF]
Fractal and Fractional, 2023 This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology.
Elmira Yu. Kalimulina
doaj +2 more sources
Generalization of the Landauer Principle for Computing Devices Based on Many-Valued Logic [PDF]
Entropy (Basel), 2019 The Landauer principle asserts that “the information is physical”. In its strict meaning, Landauer’s principle states that there is a minimum possible amount of energy required to erase one bit of information, known as the Landauer bound W=kBTln2, where ...
E. Bormashenko
europepmc +2 more sources
GÖDEL ON MANY-VALUED LOGIC [PDF]
The Review of Symbolic Logic, 2021 AbstractThis paper collects and presents unpublished notes of Kurt Gödel concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.
Tim Lethen
openaire +2 more sources
Many-valued logic in manufacturing
Annals of computer science and information systems, 2016 This paper shows how to enrich the language used in the manufacturing industry regarding information structure and its representation for products and production processes.
Tomasz Dziopa +2 more
doaj +2 more sources
Many-valued coalgebraic logic over semi-primal varieties [PDF]
Logical Methods in Computer ScienceWe study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz +2 more
doaj +3 more sources
Dual Systems of Sequents and Tableaux for Many-Valued Logics [PDF]
, 1993 The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems.
Baaz, Matthias +2 more
core +5 more sources
Can Many-Valued Logic Help to Comprehend Quantum Phenomena? [PDF]
, 2014 Following Łukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. It is shown that, according to this perspective, the Greenberger - Horne - Zeilinger ‘paradox’ is an artifact caused by ...
Jarosław Pykacz
semanticscholar +6 more sources
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 +3 more sources
Neutrality and Many-Valued Logics [PDF]
, 2007 In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.
Schumann, Andrew, Smarandache, Florentin
core +5 more sources