Abstract

In this paper we study the elementary amalgamation property and the joint embedding property for intermediate logics. We point out the class of Kripke structures with elementary embedding can be viewed within abstract elementary class framework. Following this approach, both elementary AP and JEP can be considered quite naturally for intermediate logics. The main method for our investigations is the extension of Morleyization method from classical model theory to Kripke model theory. The almost-classical logic and almost-classical models have been defined. After verifying that the class of almost-classical models forms an abstract elementary class, we, furthermore, prove that the almost-classical logic neither has the elementary AP nor JEP property. We finally give an example of a non-classical intermediate logic which extends the almost-classical logic and has both elementary AP and JEP