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 |