Shawn Standefer

Actual Issues for Relevant Logics

Shawn Standefer

Journal article  |  2020  |  ERGO-AN OPEN ACCESS JOURNAL OF PHILOSOPHY

Translations Between Gentzen-Prawitz and Jaskowski-Fitch Natural Deduction Proofs

Shawn Standefer

Journal article  |  2019  |  Studia Logica

Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Ja´skowski–Fitch systems. In this paper, ..

Tracking reasons with extensions of relevant logics

Shawn Standefer

Journal article  |  2019  |  Logic Journal of the IGPL

Inrelevantlogics,necessarytruthsneednotimplyeachother.Injustificationlogic,necessarytruthsneednotallbejustifiedby the same reason...

Guest Editors' Introduction

Riccardo Bruni, Shawn Standefer

Journal article  |  2019  |  Journal of Philosophical Logic

We would like to thank Jeff Horty and Frank Veltman for agreeing to this special issue of the Journal of Philosophical Logic, the ..

Trees for E

Shawn Standefer

Journal article  |  2018  |  LOGIC JOURNAL OF THE IGPL

A tree natural deduction system for Anderson and Belnap’s relevant logic E is presented and shown equivalent to a Hilbertstyle axi..

Natural deduction systems for E

Shawn Standefer, Ross T Brady

Journal article  |  2018  |  Logique et Analyse

Anderson and Belnap [1975] presented a Fitch natural deduction system, FE, for their logic E of entailment as well as Fitch system..

Intersubstitutivity principles and the generalization function of truth

Anil Gupta, Shawn Standefer

Journal article  |  2018  |  Synthese

Proof Theory for Functional Modal Logic

Shawn Standefer

Journal article  |  2018  |  STUDIA LOGICA

Inferentialism, Structure, and Conservativeness

Ole Hjortland, Shawn Standefer

Book Chapter  |  2018

Inferentialism, structure, and conservativeness

O Hjortland, S Standefer

Book Chapter  |  2018