28,622 research outputs found
Angular Momentum, Quaternion, Octonion, and Lie-Super Algebra osp(1,2)
We will derive both quaternion and octonion algebras as the Clebsch-Gordan
algebras based upon the su(2) Lie algebra by considering angular momentum
spaces of spin one and three. If we consider both spin 1 and 1/2 states, then
the same method will lead to the Lie-super algebra osp(1,2). Also, the quantum
generalization of the method is discussed on the basis of the quantum group
.Comment: 17 pages, TE
Logic Programming with Default, Weak and Strict Negations
This paper treats logic programming with three kinds of negation: default,
weak and strict negations. A 3-valued logic model theory is discussed for logic
programs with three kinds of negation. The procedure is constructed for
negations so that a soundness of the procedure is guaranteed in terms of
3-valued logic model theory.Comment: 14 pages, to appear in Theory and Practice of Logic Programming
(TPLP
- …