Results 11 to 20 of about 393,145 (296)

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   +3 more sources

Towards a Proof Theory of G\"odel Modal Logics [PDF]

Logical Methods in Computer Science, 2011
Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj   +3 more sources

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

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

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

Graded Many-Valued Modal Logic and Its Graded Rough Truth

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   +1 more source

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

Propositional dynamic logic for searching games with errors [PDF]

, 2014
We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the (n+1)-valued Kripke models and a corresponding language based on a modal extension of {\L}ukasiewicz many-valued logic.
Teheux, Bruno
core   +2 more sources

Paraconsistent Many-Valued Logic in GUHA Framework

Acta Informatica Pragensia, 2018
The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation ...
Esko Turunen
doaj   +1 more source

Can many-valued logic help to comprehend quantum phenomena? [PDF]

, 2014
Following {\L}ukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger-Horne-Zeilinger `paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while ...
Pykacz, Jarosław
core   +3 more sources