Wojciech Buszkowski. Type Logics and Pregroups. Studia Logica, 87(2-3):145-169, 2007. [doi]
@article{Buszkowski07:1,
title = {Type Logics and Pregroups},
author = {Wojciech Buszkowski},
year = {2007},
doi = {10.1007/s11225-007-9083-4},
url = {http://dx.doi.org/10.1007/s11225-007-9083-4},
tags = {logic},
researchr = {https://researchr.org/publication/Buszkowski07%3A1},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {87},
number = {2-3},
pages = {145-169},
}