Glivenko like theorems in natural expansions of BCK-logic
From Mathfuzzlog
| Authors: |
| ||
| Title: | Glivenko like theorems in natural expansions of BCK-logic | ||
| Journal: | Mathematical Logic Quarterly | ||
| Volume | 50 | ||
| Number | 2 | ||
| Pages: | 111-125 | ||
| Year: | 2004 |
