Abstract
This note exploits back-and-forth characteristics to construct, using a single method, short proofs for ten classics of first-order and modal logic: interpolation theorems, preservation theorems, and Lindström's theorem.
Citation
Kees Doets. "Uniform Short Proofs for Classical Theorems." Notre Dame J. Formal Logic 42 (2) 121 - 127, 2001. https://doi.org/10.1305/ndjfl/1054837939
Information
