Results 21 to 30 of about 65,816 (273)
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.
openaire +1 more source
In Situ, 2023 Strasbourg, Luxembourg and Brusssels host various European institutions since the end of the World War II, each city having constructed dedicated buildings for them.
Gauthier Bolle
doaj +1 more source
Many-valued logics. A mathematical and computational introduction. [PDF]
, 2020 2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values.
Augusto, Luis M.
core
Conditions of applicability of classical logic to philosophical reasoning
RUDN Journal of Philosophy, 2018 . The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for many-valued logics.
S A Pavlov
doaj +1 more source
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
FORMakademisk, 2020 Many systemic design processes include the development and analysis of systems models that represent the issue(s) at hand. In causal loop diagram models, phenomena are graphed as nodes, with connections between them indicating a control relationship ...
Ryan Murphy, Peter Jones
doaj +1 more source
A Paraconsistent Higher Order Logic [PDF]
, 2003 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 more sources
New Formalized Results on the Meta-Theory of a Paraconsistent Logic [PDF]
, 2019 Classical logics are explosive, meaning that everything follows from a contradiction. Paraconsistent logics are logics that are not explosive. This paper presents the meta-theory of a paraconsistent infinite-valued logic, in particular new results ...
Schlichtkrull, Anders
core +1 more source
ENS-AI: Un sistema experto para la enseñanza
Teoría de la Educación: Revista Interuniversitaria, 2009 The E.S. being developed in named ENS-AI, acronym for ENSeñanza Artificial Intilligence. ENS-AI will work as support and guide system for education practice.
Clara BARROSO JEREZ
doaj +1 more source
A nonlinear approach for neutrosophic linear programming
Journal of Applied Research on Industrial Engineering, 2019 Traditional linearl programming usually handles optimization problems involving deterministic objective functions and/or constrained functions. However, uncertainty also exists in real problems.
Seyed Ahmad Edalatpanah
doaj +1 more source