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

J. C. Beall*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

28 Citations (Scopus)


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
Issue number4
Early online date1 Jul 2013
Publication statusPublished - Dec 2013


Dive into the research topics of 'LP+, K3(+), FDE+, and their 'classical collapse''. Together they form a unique fingerprint.

Cite this