Studia Logica 44 (3):265 - 283 (1985)
|Abstract||With each sentential logic C, identified with a structural consequence operation in a sentential language, the class Matr * (C) of factorial matrices which validate C is associated. The paper, which is a continuation of , concerns the connection between the purely syntactic property imposed on C, referred to as Maehara Interpolation Property (MIP), and three diagrammatic properties of the class Matr* (C): the Amalgamation Property (AP), the (deductive) Filter Extension Property (FEP) and Injections Transferable (IT). The main theorem of the paper (Theorem 2.2) is analogous to the Wroski's result for equational classes of algebras . It reads that for a large class of logics the conjunction of (AP) and (FEP) is equivalent to (IT) and that the latter property is equivalent to (MIP).|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jouko Väänänen (2008). The Craig Interpolation Theorem in Abstract Model Theory. Synthese 164 (3):401 - 420.
Larisa Maksimova (2011). Interpolation and Definability Over the Logic Gl. Studia Logica 99 (1-3):249-267.
Janusz Czelakowski (1984). Filter Distributive Logics. Studia Logica 43 (4):353 - 377.
Grzegorz Malinowski & Marek Michalczyk (1982). That SCI has the Interpolation Property. Studia Logica 41 (4):375 - 380.
Giovanna D'Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Giovanna D.’Agostino (2008). Interpolation in Non-Classical Logics. Synthese 164 (3):421 - 435.
Judit X. Madarász (1998). Interpolation and Amalgamation; Pushing the Limits. Part I. Studia Logica 61 (3):311-345.
Janusz Czelakowski (1982). Logical Matrices and the Amalgamation Property. Studia Logica 41 (4):329 - 341.
Larisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #291,948 of 722,932 )
Recent downloads (6 months)1 ( #61,087 of 722,932 )
How can I increase my downloads?