Abstract
The aim of this project is to develop a unified framework for logic systems based on the Fräissé method for first order logic. Our purpose is to provide a more refined treatment to the notion of definability which can be applied to compare expressive power of logic systems. Briefly, we shall (i) to develop proper definition of logic system based on definability and contrast it to to other…