The Complexity of the Dependence Operator

Philip D Welch

doi:10.1007/s10992-014-9324-8

The Complexity of the Dependence Operator

Philip D Welch

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

6 Citations (Scopus)

316 Downloads (Pure)

Abstract

We show that Leitgeb’s dependence operator of Leitgeb (Journal of Philosophical Logic, 34, 155–192, 2005) is a Π1/1-operator and that this is best possible

Original language	English
Pages (from-to)	337-340
Number of pages	4
Journal	Journal of Philosophical Logic
Volume	44
Issue number	3
Early online date	4 Jul 2014
DOIs	https://doi.org/10.1007/s10992-014-9324-8
Publication status	Published - 1 Jun 2015

Keywords

Truth
Dependence
Inductive operator

Access to Document

10.1007/s10992-014-9324-8

Full-text PDF (final published version)
This is the final published version of the article (version of record). It first appeared online via Springer at http://link.springer.com/article/10.1007/s10992-014-9324-8?view=classic.
Final published version, 98.1 KB

Handle.net

Persistent link

Cite this

@article{7b3f45fbda38410ea4a716e7b8c4ad0f,

title = "The Complexity of the Dependence Operator",

abstract = "We show that Leitgeb{\textquoteright}s dependence operator of Leitgeb (Journal of Philosophical Logic, 34, 155–192, 2005) is a Π1/1-operator and that this is best possible",

keywords = "Truth, Dependence, Inductive operator",

author = "Welch, {Philip D}",

year = "2015",

month = jun,

day = "1",

doi = "10.1007/s10992-014-9324-8",

language = "English",

volume = "44",

pages = "337--340",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer Verlag",

number = "3",

}

TY - JOUR

T1 - The Complexity of the Dependence Operator

AU - Welch, Philip D

PY - 2015/6/1

Y1 - 2015/6/1

N2 - We show that Leitgeb’s dependence operator of Leitgeb (Journal of Philosophical Logic, 34, 155–192, 2005) is a Π1/1-operator and that this is best possible

AB - We show that Leitgeb’s dependence operator of Leitgeb (Journal of Philosophical Logic, 34, 155–192, 2005) is a Π1/1-operator and that this is best possible

KW - Truth

KW - Dependence

KW - Inductive operator

U2 - 10.1007/s10992-014-9324-8

DO - 10.1007/s10992-014-9324-8

M3 - Article (Academic Journal)

SN - 0022-3611

VL - 44

SP - 337

EP - 340

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 3

ER -

The Complexity of the Dependence Operator

Abstract

Keywords

Access to Document

Handle.net

Fingerprint

Cite this