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

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

• Computer Science > Artificial Intelligence [Submitted on 16 Feb 2026] Title:da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on co

Research · February 18, 2026 (updated February 19, 2026) · 2 min · 272 words
da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems

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

• Computer Science > Artificial Intelligence [Submitted on 16 Feb 2026] Title:da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on co

Research & Labs · February 18, 2026 (updated February 24, 2026) · 2 min · 272 words