Results 1 to 10 of about 385,766 (333)
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC [PDF]
The Review of Symbolic Logic, 2023 AbstractGiven a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$ , $ss$ , $tt$ , $ss\cap tt$ , and $ts$ , when the connectives are ...
Bruno Da Ré +3 more
openalex +6 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 +2 more sources
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
Jacqueline Vauzeilles, A. Strauss
openalex +3 more sources
A modal theorem-preserving translation of a class of three-valued logics of incomplete information [PDF]
, 2013 International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them.
Davide Ciucci, D. Dubois
openalex +7 more sources
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 +2 more sources
On the enumeration of maximal infinitely-generated classes of 01-functions in three-valued logic
Известия высших учебных заведений. Поволжский регион: Физико-математические науки, 2021 Background. The superposition operation is the main operation in the study of multivalued logic functions. On the basis of this operation, classifications of multivalued logic functions are defined, which allow to solve important problems of ...
S.S. Marchenkov
doaj +2 more sources
Foreword: Three-valued logics and their applications [PDF]
Journal of Applied Non-Classical Logics, 2014 Three-valued logics belong to a family of nonclassical logics that started to flourish in the 1920s and 1930s, following the work of ᴌukasiewicz (1920) and earlier insights coming from Frege and Pe...
Pablo Cobreros +3 more
openalex +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
A three-valued logic for Inductive Logic Programming [PDF]
, 1999 Inductive Logic Programming (ILP) is closely related to Logic Programming (LP) by the name. We extract the basic differences of ILP and LP by comparing both and give definitions of the basic assumptions of their paradigms, e.g. closed world assumption,
Bell, Siegfried, Weber, Steffo
core +3 more sources
Natural Deduction for Three-Valued Regular Logics [PDF]
Logic and Logical Philosophy, 2016 In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M.
Petrukhin, Yaroslav
core +4 more sources