Results 1 to 10 of about 64,142 (206)
Graded Many-Valued Modal Logic and Its Graded Rough Truth [PDF]
Axioms, 2022 Much attention is focused on the relationship between rough sets and many-valued modal logic to deal with approximate reasoning. This paper discusses the graded modal logic and puts forward the graded many-valued modal logic G(S5). Secondly, by employing
Jiansheng Li, Zengtai Gong
doaj +4 more sources
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 +9 more sources
Many-valued logic in manufacturing [PDF]
Annals of computer science and information systems, 2016 Tomasz Dziopa +2 more
doaj +2 more sources
Encoding many-valued logic in $\lambda$-calculus [PDF]
Logical Methods in Computer Science, 2021 We will extend the well-known Church encoding of Boolean logic into $\lambda$-calculus to an encoding of McCarthy's $3$-valued logic into a suitable infinitary extension of $\lambda$-calculus that identifies all unsolvables by $\bot$, where $\bot$ is a ...
Fer-Jan de Vries
doaj +1 more source
Finiteness of One-Valued Function Classes in Many-Valued Logic
Fractal and Fractional, 2023 This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology.
Elmira Yu. Kalimulina
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
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
Paraconsistentization and many-valued logics
Logic Journal of the IGPL, 2022 Abstract This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
Edelcio Gonçalves de Souza +2 more
openaire +2 more sources
Chisholm’s modal paradox: two approaches examined
Perspectiva Filosófica, 2021 This paper is organized in the following way: the first section puts forward the version of Chisholm’s Modal Paradox that is going to be taken into consideration.
Fernando Fabricio Rodrigues Furtado
doaj +1 more source