PP-2000-05: Short Proof(s) for Classical Theorems

PP-2000-05: Doets, Kees (2000) Short Proof(s) for Classical Theorems. [Report]

[img] Text (Full Text)
PP-2000-05.text.ps.gz

Download (51kB)
[img] Text (Abstract)
PP-2000-05.abstract.txt

Download (277B)

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 Lindstroem's theorem.

Item Type: Report
Report Nr: PP-2000-05
Series Name: Prepublication (PP) Series
Year: 2000
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/32

Actions (login required)

View Item View Item