いずれも Illative Combinatory Logic 関係です。 Richard B. White “A Demonstrably Consistent Type-Free Extension of the Logic BCK,” in: Mathematica Japonica, vol. 32, no. 1, 1987 Yuichi Komori “Illative Combinatory Logic Based on BCK–Logic,”…