LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’
Jc Beall · The Review of Symbolic Logic · 2013
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+.