Completeness results for intuitionistic and modal logic in a categorical setting Export

@article{citeulike:2319238, author = {Makkai, M. and Reyes, G. E.}, citeulike-article-id = {2319238}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/0168-0072(93)00085-4}, citeulike-linkout-1 = {http://www.ams.org/mathscinet-getitem?mr=1320108}, citeulike-linkout-2 = {http://www.zentralblatt-math.org/zmath/en/search/?q=an:0830.03036&format=complete}, doi = {10.1016/0168-0072(93)00085-4}, journal = {Ann. Pure Appl. Logic}, keywords = {\_copy, categorical\_logic, kripke, semantics}, mrnumber = {MR1320108}, number = {1}, pages = {25--101}, posted-at = {2008-02-01 13:24:27}, priority = {4}, title = {Completeness results for intuitionistic and modal logic in a categorical setting}, url = {http://dx.doi.org/10.1016/0168-0072(93)00085-4}, volume = {72}, year = {1995} }

TY - JOUR ID - citeulike:2319238 L3 - citeulike-article-id:2319238 IS - 1 JF - Ann. Pure Appl. Logic EP - 101 TI - Completeness results for intuitionistic and modal logic in a categorical setting VL - 72 SP - 25 KW - _copy KW - categorical_logic KW - kripke KW - semantics AU - Makkai, M AU - Reyes, GE PY - 1995/// UR - http://dx.doi.org/10.1016/0168-0072(93)00085-4 ER -