On Scott consequence systems ∗ Dedicated to the memory of

The notion of Scott consequence system (briefly, S-system) was introduced by D. Vakarelov in [30] in an analogy to a similar notion given by D. Scott in [24]. In part one of the paper we study the category SSyst of all S-systems and all their morphisms. We show that the category DLat of all distributive lattices and all lattice homomorphisms is isomorphic… (More)