Author name cluster

Shawn Standefer

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

4 papers

2 author rows

FLAP Journal 2025 Journal Article

Universal Necessity and Deep Classicality

Shawn Standefer
Rohan French

The universal conception of necessity says that necessary truth is truth in all possible worlds. This idea is well studied in the context of classical possible worlds models, and there its logic is S5. The universal conception of necessity is less well studied in models for non-classical logics. We will present some preliminary results on universal necessity on models for intuitionistic logic, first-degree entailment, and relevant logics. We will close by discussing a way in which universal necessity is a very classical concept. 2020 Mathematics Subject Classification. Primary: 03B45, Secondary: 03B47, 03B20.

PDF Details

LORI Conference 2023 Conference Paper

Hyperintensionality in Relevant Logics

Shawn Standefer

Abstract In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

Details

LORI Conference 2017 Conference Paper

Non-triviality Done Proof-Theoretically

Rohan French
Shawn Standefer

Abstract It is well known that naive theories of truth based on the three-valued schemes K 3 and LP are non-trivial.

Details

FLAP Journal 2017 Journal Article

The Relevant Logic E and Some Close Neighbours: A Reinterpretation.

Edwin D. Mares
Shawn Standefer

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven.

PDF Details