Author:
Buszkowski Wojciech,Palka Ewa
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference21 articles.
1. Bar-Hillel Y., Gaifman C. and Shamir E. (1960). ‘On categorial and phrase structure grammars’. Bull. Res. Council Israel F9: 155–166
2. Buszkowski W. (1997) ‘Mathematical Linguistics and Proof Theory’. In: van Benthem J., ter Meulen A. (eds). Handbook of Logic and Language. Elsevier, The MIT Press, Amsterdam, Cambridge MA., pp. 683–736
3. Buszkowski, W., ‘On the complexity of the equational theory of relational action algebras’, in R. Schmidt (ed.), Relations and Kleene Algebra in Computer Science, LNCS 4136, 2006, pp. 106–119.
4. Buszkowski W. (2007). ‘On action logic: Equational theories of action algebras’. Journal of Logic and Computation 17.1: 199–217
5. Dunn J.M. (1973). ‘A “Gentzen system” for positive relevant implication’ (abstract). Journal of Symbolic Logic 38: 356–357
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献