University of Tasmania
Browse
100278 - multipleconclusion_lp_and_default_classicality.pdf (86.36 kB)

Multiple-conclusion LP and default classicality

Download (86.36 kB)
journal contribution
posted on 2023-05-18, 09:44 authored by Beall, Jc
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+.

History

Publication title

Review of Symbolic Logic

Volume

4

Pagination

326-336

ISSN

1755-0203

Department/School

School of Humanities

Publisher

Cambridge University Press

Place of publication

United Kingdom

Rights statement

Copyright 2011 Association for Symbolic Logic

Repository Status

  • Open

Socio-economic Objectives

Expanding knowledge in philosophy and religious studies

Usage metrics

    University Of Tasmania

    Categories

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC