Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904263 | Annals of Pure and Applied Logic | 2018 | 22 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Shokoofeh Ghorbani,