Author:
Bárcenas Everardo,Lavalle-Martínez José-de-Jesús,Molero-Castillo Guillermo,Velázquez-Mena Alejandro
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. On Padoa's method in the theory of definition;Beth;Journal of Symbolic Logic,1956
2. Uniform interpolation and propositional quantifiers in modal logics;Bílková;Studia Logica,2007
3. The relative efficiency of propositional proof systems;Cook;J. Symb. Log.,1979
4. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory;Craig;J. Symb. Log.,1957
5. Interpolation in non-classical logics;D'Agostino;Synthese,2008