Switch to: References

Add citations

You must login to add citations.
  1. Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
    The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Uniform interpolation and coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
  • The Modelwise Interpolation Property of Semantic Logics.Zalán Gyenis, Zalán Molnár & Övge Öztürk - 2023 - Bulletin of the Section of Logic 52 (1):59-83.
    In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Modularity results for interpolation, amalgamation and superamalgamation.Silvio Ghilardi & Alessandro Gianola - 2018 - Annals of Pure and Applied Logic 169 (8):731-754.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark