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

J. C. Beall*

*Corresponding author for this work

Research output: Contribution to journalArticle

5 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 languageEnglish
Pages (from-to)742-754
Number of pages13
JournalReview of Symbolic Logic
Volume6
Issue number4
Early online date1 Jul 2013
DOIs
Publication statusPublished - Dec 2013

Cite this

LP+, K3(+), FDE+, and their 'classical collapse'. / Beall, J. C.

In: Review of Symbolic Logic, Vol. 6, No. 4, 12.2013, p. 742-754.

Research output: Contribution to journalArticle

Beall, J. C. / LP+, K3(+), FDE+, and their 'classical collapse'. In: Review of Symbolic Logic. 2013 ; Vol. 6, No. 4. pp. 742-754.
@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 = "12",
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

VL - 6

SP - 742

EP - 754

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

SN - 1755-0203

IS - 4

ER -