Logical Consequence and Invariance

Abstract

We present informal definitions of the concept of logical consequence and other correlate concepts and we show some properties of them. In the following, using the notion of valuation structure, we redefine those concepts and prove that they are invariant under the group of automorphism of these structures. Finally, we discuss the notion of invariance in first order general structures.