Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
- 1 March 1978
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 37 (1) , 59-64
- https://doi.org/10.1007/bf02123613
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- The Mathematics of Sentence StructureThe American Mathematical Monthly, 1958