Results 111 to 120 of about 7,093 (165)

Bilattices for deductions in multi-valued logic

open access: yesInternational Journal of Approximate Reasoning, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Giangiacomo Gerla
exaly   +3 more sources
Some of the next articles are maybe not open access.

Related searches:

On adequate sets of multi-valued logic

Journal of the Franklin Institute, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Daizhan Cheng   +3 more
openaire   +1 more source

Multi-valued logic synthesis

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013), 1999
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized binary-valued logic, as well as motivating research towards a true multi-valued multi-level optimization package.
R K Brayton, S P Khatri
exaly   +2 more sources

Structural Rules for Multi-valued Logics

Logica Universalis, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nissim Francez, Michael Kaminski
openaire   +1 more source

Factorization of multi-valued logic functions

Proceedings 25th International Symposium on Multiple-Valued Logic, 2002
The paper describes an approach to factorization of multi valued logic (MVL) functions. The key concept is to formulate the problem as a rectangular covering problem. First, we develop an MVL algebraic factorization algorithm. Then, by incorporating two MVL Boolean properties: "identical" and "complementary", we further improve the purely algebraic ...
Hui Min Wang   +2 more
openaire   +1 more source

Multi-Valued Quantum Logic

36th International Symposium on Multiple-Valued Logic (ISMVL'06), 2006
The multiple valued logic of inexactness and approximation we proposed in the past as framework for scientific thought in general is in this paper considered as logic for quantum theory in particular. In this logic truth-values are viewed as degrees of error and a deduction is considered valid if the error in the conclusion can be minimized whenever ...
openaire   +1 more source

Meanings in Multi-valued Logics

Philosophy of Science, 1941
The aim of this contribution is to trace the transformation of the meanings of certain terms as the order of the logics in which they appear is raised. By “order of the logic” we simply refer to the number of truth-values characterizing the logic, so that if the number of truth values shows symptoms of traveling to infinity we may speak of the goal as ...
openaire   +2 more sources

Home - About - Disclaimer - Privacy