Interpolation in extensions of first-order logic

Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli

We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular…