Results 11 to 20 of about 64,086 (306)

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, Gong Zengtai   +2 more
exaly   +4 more sources

Many-valued hybrid logic [PDF]

Journal of Logic and Computation, 2018
In this article we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics.
Hansen, Jens Ulrik, Braüner, Torben, Bolander, Thomas   +2 more
core   +8 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
core   +2 more sources

Two Principles in Many-Valued Logic [PDF]

, 2014
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false ...
Stefano Aguzzoli, S. Aguzzoli, V. Marra, Vincenzo Marra   +3 more
core   +3 more sources

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.
Poiger, Wolfgang, Kurz, Alexander, Teheux, Bruno   +2 more
core   +2 more sources

Many-valued logic in manufacturing [PDF]

Annals of Computer Science and Information Systems, 2016
Tomasz Dziopa, Patrik Eklund, Magnus Löfstrand   +2 more
openaire   +2 more sources

A real-valued modal logic [PDF]

Logical Methods in Computer Science, 2018
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers.
Laura Schnüriger, Metcalfe, George, Schnüriger, Laura Janina, George Metcalfe, Diaconescu, Denisa, Denisa Diaconescu, Schnüriger, Laura   +6 more
core   +3 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