TY  - RPRT
TI  - First-Order Logical Duality
AU  - Steve Awodey
AU  - Henrik Forssell
PY  - 2013
DO  - 10.1016/j.apal.2012.10.016
UR  - https://arxiv.org/abs/1008.3145
ID  - 1008.3145
ER  -