Translator Disclaimer
2001 Uniform Short Proofs for Classical Theorems
Kees Doets
Notre Dame J. Formal Logic 42(2): 121-127 (2001). DOI: 10.1305/ndjfl/1054837939

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

Download 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

Published: 2001
First available in Project Euclid: 5 June 2003

zbMATH: 1031.03057
MathSciNet: MR1993396
Digital Object Identifier: 10.1305/ndjfl/1054837939

Subjects:
Primary: 03C40
Secondary: 03B45, 03C15, 03C95

Rights: Copyright © 2001 University of Notre Dame

JOURNAL ARTICLE
7 PAGES


SHARE
Vol.42 • No. 2 • 2001
Back to Top