Glivenko like theorems in natural expansions of BCK-logic

From Mathfuzzlog
Jump to: navigation, search
Authors:
Roberto Cignoli
Antoni Torrens
Title: Glivenko like theorems in natural expansions of BCK-logic
Journal: Mathematical Logic Quarterly
Volume 50
Number 2
Pages: 111-125
Year: 2004





Abstract