Title :
Boolean complex logic
Author :
Suzuki, Kujira ; Sugimoto, Kin-ya ; Suzuki, Hisashi
Author_Institution :
Dept. of Law, Gakushuin Univ., Tokyo, Japan
Abstract :
This article, by describing atoms and logic formulae with complex functions, defines a new multivalued logic such that the set of logic formulae forms a Boolean algebra in contrast to popular multivalued logics such as fuzzy logics, which we call a Boolean complex logic. This article shows also some intuitively understandable examples demonstrating that the proposed logic can process deductive inferences syntactically by evaluating ranges of truth values.
Keywords :
Boolean algebra; fuzzy logic; multivalued logic; Boolean algebra; Boolean complex logic; atoms; complex functions; fuzzy logics; logic formulae; multivalued logic; Bicycles; Birds; Boolean algebra; Educational institutions; Fuzzy logic; Lattices; Multivalued logic; Boolean algebra; complex function; deductive inference; fuzzy logic; multivalued logic;
Conference_Titel :
Computing, Communications and Applications Conference (ComComAp), 2012
Conference_Location :
Hong Kong
Print_ISBN :
978-1-4577-1717-8
DOI :
10.1109/ComComAp.2012.6154874