Results 1 to 10 of about 375,050 (296)
A Three-Valued Semantics for Typed Logic Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics defined for typed programs, on the other.
João Barbosa +2 more
doaj +4 more sources
An Extended Epistemic Framework Beyond Probability for Quantum Information Processing with Applications in Security, Artificial Intelligence, and Financial Computing [PDF]
EntropyIn this work, we propose a novel quantum-informed epistemic framework that extends the classical notion of probability by integrating plausibility, credibility, and possibility as distinct yet complementary measures of uncertainty.
Gerardo Iovane
doaj +2 more sources
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Manuscrito, 2023 In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems.
JOSÉ RENATO SALATIEL
doaj +1 more source
Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications
Mathematics, 2021 This paper provides a brief overview of modern applications of nonbinary logic models, where the design of heterogeneous computing systems with small computing units based on three-valued logic produces a mathematically better and more effective solution
Elmira Yu. Kalimulina
doaj +1 more source
Tableau method of proof for Peirce’s three-valued propositional logic
Filosofia Unisinos, 2022 Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj +1 more source
Three-valued Logics in Modal Logic [PDF]
Studia Logica, 2012 Abstract Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula.
Barteld Kooi, Allard Tamminga
openaire +3 more sources
Finiteness of One-Valued Function Classes in Many-Valued Logic
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 +1 more source
Intuitionistic three-valued logic and logic programming [PDF]
RAIRO - Theoretical Informatics and Applications, 1991 Summary: We study the semantics of logic programs with the help of trivalued logic, introduced by \textit{J. Y. Girard} [Three-Valued Logic and Cut- Elimination: The Actual Meaning of Takeuti's Conjecture, Diss. Math., Warszawa, 45 p. (1976; Zbl 0357.02027)]. Trivalued sequent calculus enables to extend easily the results of classical SLD-resolution to
A. Strauss, Jacqueline Vauzeilles
openaire +3 more sources
Organizations Assessment Based on EFQM Excellence Model Using Neutrosophic Logic (Case Study: Iranian Banking Industry) [PDF]
چشمانداز مدیریت صنعتی, 2021 Due to the fact that excellence models, especially EFQM, work based on RADAR logic, which makes them heavily rely on subjective judgments, the aim of this study is to present a more accurate and objective way of assessing organizations with EFQM using ...
Fatemeh Emami +2 more
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