TY  - RPRT
TI  - Duality and universal models for the meet-implication fragment of IPC
AU  - Nick Bezhanishvili
AU  - Dion Coumans
AU  - Samuel J. van Gool
AU  - Dick de Jongh
PY  - 2014
DO  - 10.1007/978-3-662-46906-4_7
UR  - https://arxiv.org/abs/1403.0710
ID  - 1403.0710
ER  -