Shawn Standefer

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

THE RELEVANT LOGIC E AND SOME CLOSE NEIGHBOURS: A REINTERPRETATION

Edwin Mares, Shawn Standefer

Journal article  |  2017  |  JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS

Conditionals in Theories of Truth

Anil Gupta, Shawn Standefer

Journal article  |  2017  |  JOURNAL OF PHILOSOPHICAL LOGIC

Non-triviality done proof-theoretically

R French, S Standefer

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Non-Classical Circular Definitions

S Standefer

Journal article  |  2017  |  The Australasian Journal of Logic

Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions..

The Relevant Logic E and Some Close Neighbours

E Mares, S Standefer

Journal article  |  2017  |  IfCoLog Journal of Logics and their Applications

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory o..

Contraction and Revision

S STANDEFER

Journal article  |  2016  |  Australasian Journal of Logic

An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, ..

SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS

Shawn Standefer

Journal article  |  2015  |  The Review of Symbolic Logic

On Artifacts and Truth-Preservation

S STANDEFER

Journal article  |  2015  |  Australasian Journal of Logic

In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present..

Review of Stewart Shapiro’s Varieties of Logic

S STANDEFER

Journal article  |  2015  |  Notre Dame Philosophical Reviews

The Tarskian Turn: Deflationism and Axiomatic Truth

Shawn Standefer

Journal article  |  2013  |  Philosophical Review

What is Wrong with the Tarskian Theory of Truth?

Shawn Standefer

Conference Proceedings  |  2011  |  LOGICA YEARBOOK 2010

Philosophical Aspects of Display Logic

Shawn Standefer

Conference Proceedings  |  2010  |  LOGICA YEARBOOK 2009

Non-Classical Circular Definitions

Shawn Standefer

Journal article  |  The Australasian Journal of Logic

Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions..