Modularity results for interpolation, amalgamation and superamalgamation

&
Annals of Pure and Applied Logic 169 (8):731-754 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.04.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (6):755-802.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (4):429-483.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
Craig interpolation for semilinear substructural logics.Enrico Marchioni & George Metcalfe - 2012 - Mathematical Logic Quarterly 58 (6):468-481.
Pdl Has Interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.
PDL has interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.
Amalgamation property for the class of basic algebras and some of its natural subclasses.Majid Alizadeh & Mohammad Ardeshir - 2006 - Archive for Mathematical Logic 45 (8):913-930.
Logical matrices and the amalgamation property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.

Analytics

Added to PP
2018-04-06

Downloads
18 (#832,589)

6 months
6 (#520,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
Modal logics with n‐ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Mathematical Logic Quarterly 36 (3):193-215.
Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.

Add more references