Scientific Research Publishing

Researches on Six Lattice-Valued Logic ()

Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed ...
IEEE

Implication and Inference Rules in Multivalued Logic with Network Configuration

Abstract: The present paper proposes and investigates the implication operation in multi-valued logic with a network configuration that connects co-operating two-valued propositional logics. This ...
Scientific Research Publishing

Approximate Reasoning in Fuzzy Resolution ()

Department of Mathematics, Visva-Bharati University, Santiniketan, West Bengal, India. Example 1: Here, is a derivation of a clause from a set of clauses presented by means of a resolution Tree in ...
IEEE

Material implication in CMOS: A new kind of logic

Abstract: For more than seventy years, all the development in digital electronics have been founded on Shannon's work based on the fact that Boolean logic operators, OR, AND and NOT, can form a ...
University of Vermont

Propositional logic

Propositional logic includes sentence letters (A, B, C, etc), which are assigned truth values, and logical connectives (AND, OR, NOT, IMPLICATION, EQUIVALENCE), but not quantifiers. This is also ...