Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Algebraic Characterization of the Local Craig Interpolation Property.Zalán Gyenis - 2018 - Bulletin of the Section of Logic 47 (1):45-58.
    The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Robinson property and amalgamations of higher arities.David Nyiri - 2016 - Mathematical Logic Quarterly 62 (4-5):427-433.
    In this article we discuss a version of the Robinson property studied recently by Gyenis in, and we present a solution to one of his open problems. We say that a first‐order structure satisfies the Robinson property whenever the union of two non‐trivial partial n‐types over different finite sets is realizable if and only if they are not explicitly contradictory. In his article, Gyenis showed that a universal, homogeneous structure over a language that consists of at most binary relation symbols (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation