Abstract Model Theory as a Framework for Universal Logic
Marta García-Matos, Jouko Väänánen · Logica Universalis · 2007
We suggest abstract model theory as a framework for universal logic. For this end we present basic concepts of abstract model theory in a general form which covers both classical and non-classical logics. This approach aims at unifying model-theoretic results covering as large a variety of examples as possible, in harmony with the general aim of universal logic.