Premium
Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
Author(s) -
Zielonka Wojciech
Publication year - 1981
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19810271306
Subject(s) - citation , computer science , calculus (dental) , information retrieval , library science , medicine , dentistry
Axiomatisation du calcul des types syntaxiques ou calcul categoriel d'Ajdukiewicz-Lambek. L'A. propose une extension de ce calcul avec des schemas d'annulation.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom