Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5
2006 ◽
Vol 35
(5)
◽
pp. 435-487
◽
1967 ◽
Vol 120
(2)
◽
pp. 214-219
◽
Keyword(s):
Keyword(s):