Electronic Resource
Springer
Archive for mathematical logic
35 (1996), S. 173-189
ISSN:
1432-0665
Keywords:
03C40
;
03G25
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract LetL be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and letM L be the “algebraic semantics” ofL. In this paper we will extend toL the equivalence, proved in the classical case (see [6]), among he weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of varietyM L. We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of varietyM L. Then we obtain the Craig interpolation theorem and Robinson theorem for two intuitionistic modal logics, one ofS 4-type and the other one ofS 5-type, showing the super-amalgamation property of the corresponding algebraic semantics.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01268617
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |