Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes
Wojciech ZielonkaVolume:
27
Year:
1981
Language:
english
Pages:
10
DOI:
10.1002/malq.19810271306
File:
PDF, 603 KB
english, 1981