Search results for 'F. Barbier' (try it on Scholar)

Did you mean: F. Barber
  1.  27
    M. Aiguier & F. Barbier (2007). An Institution-Independent Proof of the Beth Definability Theorem. Studia Logica 85 (3):333 - 359.
    A few results generalizing well-known classical model theory ones have been obtained in institution theory these last two decades (e.g. Craig interpolation, ultraproduct, elementary diagrams). In this paper, we propose a generalized institution-independent version of the Beth definability theorem.
    Direct download (6 more)  
    Export citation  
    My bibliography   1 citation