Logic for abstract hoop twist-structures |
| |
Authors: | Shokoofeh Ghorbani |
| |
Institution: | Department of Pure Mathematics, Faculty of Mathematics and Computer, Mahani Mathematical Research Center, Shahid Bahonar University of Kerman, Kerman, Iran |
| |
Abstract: | In this paper, we introduce and study a logic that corresponds to abstract hoop twist-structures and present some results on this logic. We prove the local deductive theorem for this logic and show that this logic is algebraizable with respect to the quasi-variety of abstract hoop twist-structures. |
| |
Keywords: | 03B99 03B22 03B50 03C07 Algebraizable logic Twist structure AHT-algebra Hoop |
本文献已被 ScienceDirect 等数据库收录! |
|