100278 - multipleconclusion_lp_and_default_classicality.pdf (86.36 kB)
Multiple-conclusion LP and default classicality
journal contribution
posted on 2023-05-18, 09:44 authored by Beall, JcThis 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+.
History
Publication title
Review of Symbolic LogicVolume
4Pagination
326-336ISSN
1755-0203Department/School
School of HumanitiesPublisher
Cambridge University PressPlace of publication
United KingdomRights statement
Copyright 2011 Association for Symbolic LogicRepository Status
- Open