LP+, K3(+), FDE+, and their 'classical collapse'

J. C. Beall

doi:10.1017/S1755020313000142

LP+, K3(+), FDE+, and their 'classical collapse'

J. C. Beall^*

^*Corresponding author for this work

Philosophy

University of Connecticut

Research output: Contribution to journal › Article › peer-review

28 Citations (Scopus)

Abstract

This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical import of a 'classical collapse' result for the propositional (multiple-conclusion) logic LP+. Feedback on such ideas prompted a spelling out of the first-order case. My aim in this paper is to do just that: namely, explicitly record the first-order result(s), including the collapse results for K3(+) and FDE+.

Original language	English
Pages (from-to)	742-754
Number of pages	13
Journal	Review of Symbolic Logic
Volume	6
Issue number	4
Early online date	1 Jul 2013
DOIs	https://doi.org/10.1017/S1755020313000142
Publication status	Published - Dec 2013

Access to Document

10.1017/S1755020313000142Licence: Unspecified

Cite this

@article{9ba85f9c674a4210b7ac182dbd3812c8,

title = "LP+, K3(+), FDE+, and their 'classical collapse'",

abstract = "This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical import of a 'classical collapse' result for the propositional (multiple-conclusion) logic LP+. Feedback on such ideas prompted a spelling out of the first-order case. My aim in this paper is to do just that: namely, explicitly record the first-order result(s), including the collapse results for K3(+) and FDE+.",

author = "Beall, {J. C.}",

year = "2013",

month = dec,

doi = "10.1017/S1755020313000142",

language = "English",

volume = "6",

pages = "742--754",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - LP+, K3(+), FDE+, and their 'classical collapse'

AU - Beall, J. C.

PY - 2013/12

Y1 - 2013/12

N2 - This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical import of a 'classical collapse' result for the propositional (multiple-conclusion) logic LP+. Feedback on such ideas prompted a spelling out of the first-order case. My aim in this paper is to do just that: namely, explicitly record the first-order result(s), including the collapse results for K3(+) and FDE+.

AB - This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical import of a 'classical collapse' result for the propositional (multiple-conclusion) logic LP+. Feedback on such ideas prompted a spelling out of the first-order case. My aim in this paper is to do just that: namely, explicitly record the first-order result(s), including the collapse results for K3(+) and FDE+.

U2 - 10.1017/S1755020313000142

DO - 10.1017/S1755020313000142

M3 - Article

SN - 1755-0203

VL - 6

SP - 742

EP - 754

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 4

ER -

LP+, K3(+), FDE+, and their 'classical collapse'

Abstract

Access to Document

Fingerprint

Cite this