Results for 'cryptofibring'

Order:
  1. From fibring to cryptofibring. A solution to the collapsing problem.Carlos Caleiro & Jaime Ramos - 2007 - Logica Universalis 1 (1):71-92.
    . The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations