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

Retrieved from "http://www.mathfuzzlog.org/index.php/Glivenko_like_theorems_in_natural_expansions_of_BCK-logic"
Personal tools