Results 1 to 10 of about 7,701,760 (276)
Many-Valued Logics and Translations
Journal of Applied Non-Classical Logics, 1999 This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propo...
Hercules de Araujo Feitosa +1 more
exaly +7 more sources
Inferential Interpretations of Many-Valued Logics [PDF]
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
exaly +8 more sources
Two deductions systems for the Logic PM4N
Intermaths, 2022 The logic PM4N was introduced by Jean-Yves Beziau as a modal and 4-valued system. In this introductory paper, the author presented the system from a matrix logic with four values disposed in a Boolean algebra with a modal operator for the notion of ...
Hércules de Araújo Feitosa +2 more
doaj +1 more source
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
A Variant of Material Connexive Logic
Bulletin of the Section of Logic, 2021 The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic.
Alexander Belikov, Dmitry Zaitsev
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 +2 more sources
Fractional-Valued Modal Logic and Soft Bilateralism
Bulletin of the Section of Logic, 2023 In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Mario Piazza +2 more
doaj +1 more source
Many-valued hybrid logic [PDF]
Journal of Logic and Computation, 2015 In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
Jens Ulrik Hansen +2 more
openaire +6 more sources
A note on entropy of logic [PDF]
Yugoslav Journal of Operations Research, 2017 We propose an entropy based classification of propositional calculi. Our method can be applied to finite–valued propositional logics and then, extended asymptotically to infinite–valued logics.
Boričić Marija
doaj +1 more source
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions [PDF]
Logical Methods in Computer Science, 2022 In systems involving quantitative data, such as probabilistic, fuzzy, or metric systems, behavioural distances provide a more fine-grained comparison of states than two-valued notions of behavioural equivalence or behaviour inclusion.
Paul Wild, Lutz Schröder
doaj +1 more source