da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems | ScienceToStartup | ScienceToStartup