Results 11 to 20 of about 1,033,736 (302)
Sequents in many valued logic II [PDF]
Fundamenta Mathematicae, 1967 G. S. Rousseau
openaire +5 more sources
Truth Pluralism and Many‐Valued Logics: A Reply to Beall [PDF]
, 2000 Christine Tappolet
semanticscholar +2 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
Normalisation for Some Quite Interesting Many-Valued Logics
Logic and Logical Philosophy, 2021 In this paper, we consider a set of quite interesting threeand four-valued logics and prove normalisation theorem for their natural deduction formulations.
Nils Kürbis, Y. Petrukhin
semanticscholar +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
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
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
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS [PDF]
Journal of Symbolic Logic (JSL), 2022 We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical ...
C. Caleiro, Sérgio Marcelino
semanticscholar +1 more source
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