@article{BSL43_3-4_Kulicki, author = {Piotr KULICKI}, title = {A Note on the Adequacy of Jerzy Kalinowski's $K_1$ Logic}, journal = {Bulletin of the Section of Logic}, volume = {43}, number = {3--4}, year = {2014}, pages = {183--190} }