TY  - RPRT
TI  - Multi-sorted logic and logical geometry: some problems
AU  - Boris Plotkin
AU  - Eugene Plotkin
PY  - 2014
UR  - https://arxiv.org/abs/1406.3076
ID  - 1406.3076
ER  -