Independence of each axiom in a set of axioms and complete sets of axioms of Boolean algebra

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2002, Pages 185-191

  Ninomiya, Tomoko ^a   Mukaidono, Masao ^b  

^a TAMAGAWA UNIVERSITY   (Japan)

^b MEIJI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; FINITE ELEMENT METHOD; MATHEMATICAL MODELS; SET THEORY;

ABSORPTION LAW; INDEPENDENT AXIOM; METHOD OF INDETERMINATE COEFFICIENT;

BOOLEAN ALGEBRA;

EID: 0036083266     PISSN: 0195623X     EISSN: None     Source Type: Journal    
DOI: 10.1109/ISMVL.2002.1011088     Document Type: Article

References (7)

1. Synthesis of axiom systems for the three-valued predicate logic by means of special four logic
2. Clarifying the axioms of Kleene algebra based on the method of indeterminate coefficients
3. Fundamental properties on axioms of Kleene algebra
4. Independence of the axioms of Boolean algebra in multiple-valued logic
5. A set of independent and complete axioma for a fuzzy algebra (Kleene algebra)
6. The algebra of logic