Comparing inductive and circular definitions: parameters, complexity and games

K-U Kühnberger; B Löwe; M Möllerfeld; PD Welch

Comparing inductive and circular definitions: parameters, complexity and games

K-U Kühnberger, B Löwe, M Möllerfeld, PD Welch

Research output: Contribution to journal › Article (Academic Journal) › peer-review

9 Citations (Scopus)

Abstract

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

Translated title of the contribution	Comparing inductive and circular definitions: parameters, complexity and games
Original language	English
Pages (from-to)	79 - 98
Journal	Studia Logica
Volume	81
Publication status	Published - 2005

Fingerprint Dive into the research topics of 'Comparing inductive and circular definitions: parameters, complexity and games'. Together they form a unique fingerprint.

Cite this

@article{6d0bb66f6cec4652aae3131f04c24c66,

title = "Comparing inductive and circular definitions: parameters, complexity and games",

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

author = "K-U K{\"u}hnberger and B L{\"o}we and M M{\"o}llerfeld and PD Welch",

year = "2005",

language = "English",

volume = "81",

pages = "79 -- 98",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - Comparing inductive and circular definitions: parameters, complexity and games

AU - Kühnberger, K-U

AU - Löwe, B

AU - Möllerfeld, M

AU - Welch, PD

PY - 2005

Y1 - 2005

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

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

M3 - Article (Academic Journal)

VL - 81

SP - 79

EP - 98

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

ER -