Results 21 to 30 of about 65,929 (299)
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 +3 more sources
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
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
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
Valid Sequents in Many-Valued Logics
Annals of the Japan Association for Philosophy of Science, 1980 Mitio Takano
openaire +4 more sources
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
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
Inferential Interpretations of Many-Valued Logics
LogicsNon-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj +1 more source