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

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

	Text (Full Text) PP-2000-05.text.ps.gz Download (51kB)
	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