Fibring logics with topos semantics Export

@article{citeulike:116592, abstract = {The concept of fibring is extended to higher-order logics with arbitrary modalities and binding operators. A general completeness theorem is established for such logics including HOL and with the meta-theorem of deduction. As a corollary, completeness is shown to be preserved when fibring such rich logics. This result is extended to weaker logics in the cases where fibring preserves conservativeness of HOL-enrichments. Soundness is shown to be preserved by fibring without any further...}, author = {Coniglio, M. and Sernadas, A. and Sernadas, C.}, citeulike-article-id = {116592}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.2651}, journal = {Journal of Logic and Computation, in print.}, posted-at = {2007-08-10 17:16:40}, priority = {2}, title = {Fibring logics with topos semantics}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.2651} }

TY - JOUR ID - citeulike:116592 L3 - citeulike-article-id:116592 N2 - The concept of fibring is extended to higher-order logics with arbitrary modalities and binding operators. A general completeness theorem is established for such logics including HOL and with the meta-theorem of deduction. As a corollary, completeness is shown to be preserved when fibring such rich logics. This result is extended to weaker logics in the cases where fibring preserves conservativeness of HOL-enrichments. Soundness is shown to be preserved by fibring without any further... JF - Journal of Logic and Computation, in print. TI - Fibring logics with topos semantics AU - Coniglio, M AU - Sernadas, A AU - Sernadas, C UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.2651 ER -