与 «MANY-VALUED LOGIC»相关的英语书籍
在以下的参考文献中发现
many-valued logic的用法。与
many-valued logic相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Possibilities and Paradox: An Introduction to Modal and ...
"The book opens up topics to debate, suitable for an intermediate course in logic.
Jeffrey C. Beall, Bastiaan C. Van Fraassen, 2003
2
Algebraic Foundations of
Many-
Valued Reasoning
The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information.
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici, 2010
3
Function Algebras on Finite Sets: Basic Course on ...
This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science.
4
A Treatise on
Many-
Valued Logics
This book provides coverage of many multi-valued logics from theoretical foundations to latest results and applications, including theorem proving, approximate reasoning, program verification and generalized set theories.
5
Lattice-
Valued Logic: An Alternative Approach to Treat ...
In the framework of many- valued logic, perhaps the earliest reference to a many-
valued resolution-based deduction system is the one proposed by Morgan [305].
Afterwards, Orlowska [341,343,344] proposed an automated reasoning theory ...
The book attempts an elementary exposition of the topics connected with many-valued logics.
Grzegorz Malinowski, 1993
7
Beyond Two: Theory and Applications of Multiple-
Valued Logic
Hahnle, R.: Proof theory of many- valued logic — linear optimization — logic
design: Connections and interactions. Soft Computing — A Fusion of
Foundations, Methodologies and Applications, 1, (3), Sept. (1997) 107-119 34.
Hahnle, R.: ...
Melvin Fitting, Ewa Orlowska, 2003
8
An Introduction to Non-Classical
Logic: From If to Is
These are logics in which there are more than two truth values. 7.1.2 We have a
look at the general structure of a many-valued logic, and some simple but
important examples of many-valued logics. The treatment will be purely semantic:
we do ...
9
The
Many Valued and Nonmonotonic Turn in
Logic
[Reichenbach, 1935] H. Reichenbach. Wahrscheinlichkeitslehre. Leiden, 1935;
English tr. The theory of probability. University of California Press, Berkeley, 1949
. [Rescher, 1969*] N. Rescher. Many-valued logic. McGraw-Hill, New York, 1969.
Dov M. Gabbay, John Woods, 2007
10
Handbook of Automated Reasoning
What is a many- valued logic? The demarcation of the realm of logics we are to
deal with in this chapter is a less simple task as it may seem at first glance.
Traditionally, any logic characterized by a semantic based on more than two truth
...
John Alan Robinson, Andreĭ Voronkov, 2001
包含词语«MANY-VALUED LOGIC»的新条目
找出国内和国际出版社所讨论的内容,以及词语
many-valued logic在以下新条目的上下文中是如何使用的。
Using “fuzzy logic” to optimize hybrid solar/battery systems
... is based on fuzzy logic—a many-valued logic system designed to reason outputs by considering a range of possibilities rather than a simple, ... «R & D Magazine, 二月 15»
Public Release: 25-Feb-2015 Using 'fuzzy logic' to optimize hybrid …
... is based on fuzzy logic -- a many-valued logic system designed to reason outputs by considering a range of possibilities rather than a simple, ... «EurekAlert, 二月 15»
Using 'fuzzy logic' to optimize hybrid solar-battery systems
... array and a battery in a standalone photovoltaic system that is based on fuzzy logic—a many-valued logic system designed to reason outputs ... «Phys.Org, 二月 15»