Source
Abstract
Identifiers
journal ISSN : | 2449-836X , 0138-0680 |
DOI | 10.18778/0138-0680.46.1.2.07 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] V. M. Abrusci, Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, Journal of Symbolic Logic 56 (1991), pp. 1403–1451.
-
[2] A. Bastenhof, Categorial Symmetry, Ph.D. Thesis, University of Utrecht (2013).
-
[3] W. Buszkowski, Lambek Calculus with Nonlogical Axioms, [in:] Casadio, C., Scott, P.J. and Seely, R.A.S., Language and Grammar. Studies in Mathematical Linguistics and Natural Language. CSLI Lecture Notes 168 (2005), pp. 77–93.