Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science

Source URL: costa.ls.fi.upm.es

• Mathematical logic
• Modal logic
• Term
• Herbrand interpretation
• Ground expression

Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematics
• Abstraction
• Mathematical logic
• Model theory
• Proof theory
• Semantics
• Term algebra
• First-order logic
• Interpretation
• Substitution
• Herbrandization

BRICS Basic Research in Computer Science BRICS RSGerhardy & Kohlenbach: Extracting Herbrand Disjunctions by Functional Interpretation Extracting Herbrand Disjunctions by

Source URL: www.brics.dk