Paulo A. S. Veloso

Learn More
We generalize three known results concerning (conservative) extensions to (faithful) interpretations. These results are Extension Modularity (a special case of the Modularization Theorem for logical specifications) and two familiar logical theorems, namely Robinson’s Joint Consistency and Craig-Robinson Interpolation. Their generalizations involve a pushout(More)