Results 1 to 10 of about 13,015 (267)

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

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

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

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

Many-valued coalgebraic logic over semi-primal varieties [PDF]

Logical Methods in Computer Science
We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz, Wolfgang Poiger, Bruno Teheux   +2 more
doaj   +1 more source

Tableau method of proof for Peirce’s three-valued propositional logic

Filosofia Unisinos, 2022
Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj   +1 more source

Many-Valued Logic in the Jewish Short Stories

Studia Humana, 2015
Jewish short stories (parables, tales, jokes, etc.) are explained from the viewpoint of many-valued logic. On the basis of some examples, we show, how their contents may be logically interpreted.
Levin Vitaly I.
doaj   +1 more source