Switch to: References

Add citations

You must login to add citations.
  1. Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
    Continuing work initiated by Jónsson, Daigneault, Pigozzi and others; Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property (cf. [Mak 91], [Mak 79]). The aim of this paper is to extend the latter result to a large class of logics. We will prove that the characterization can be extended to all algebraizable logics containing Boolean fragment and having a certain kind of local (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • An Institution-Independent Proof of the Robinson Consistency Theorem.Daniel Gâinâ & Andrei Popescu - 2007 - Studia Logica 85 (1):41-73.
    We prove an institutional version of A. Robinson ’s Consistency Theorem. This result is then appliedto the institution of many-sorted first-order predicate logic and to two of its variations, infinitary and partial, obtaining very general syntactic criteria sufficient for a signature square in order to satisfy the Robinson consistency and Craig interpolation properties.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations