PP-2004-07: Comparing inductive and circular definitions: parameters, complexity and games

PP-2004-07: Kühnberger, Kai-Uwe and Löwe, Benedikt and Möllerfeld, Michael and Welch, Philip (2004) Comparing inductive and circular definitions: parameters, complexity and games. [Report]

Preview	Text (Full Text (PDF)) PP-2004-07.text.pdf Download (213kB) | Preview
	Text (Full Text (PS)) PP-2004-07.text.ps.gz Download (238kB)
	Text (Abstract) PP-2004-07.abstract.txt Download (891B)

Abstract

Gupta-Belnap-style circular definitions use all real numbers as
possible starting points of revision sequences. In that sense they are
boldface definitions. We discuss lightface versions of circular
definitions and boldface versions of inductive definitions.

Item Type:	Report
Report Nr:	PP-2004-07
Series Name:	Prepublication (PP) Series
Year:	2004
Uncontrolled Keywords:	Comparing inductive and circular definitions: parameters, complexity and games Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch Abstract: Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions. Keywords:
Depositing User:	Benedikt
Date Deposited:	12 Oct 2016 14:36
Last Modified:	12 Oct 2016 14:36
URI:	https://eprints.illc.uva.nl/id/eprint/118

Actions (login required)

View Item