Finite axiomatizability of locally tabular superintuitionistic logics
2009 ◽
Vol 74
(4)
◽
pp. 1171-1205
◽
Keyword(s):
Keyword(s):
1965 ◽
Vol 6
(4)
◽
pp. 301-308
◽
1995 ◽
pp. 185-209
Keyword(s):
1977 ◽
Vol 31
(2)
◽
pp. 257-268
◽