Arrow Research search

Author name cluster

Rohan French

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.

3 papers
2 author rows

Possible papers

3

FLAP Journal 2025 Journal Article

The Constructive Logic of Paradox: Paraconsistency on the Woodruff Plan

  • Rohan French

In this paper we investigate the constructive companion of the logic of para- dox. After presenting the logic semantically, and examining how it relates to both intuitionistic logic and the logic of paradox, we prove completeness for two semantically conservative extensions of the constructive logic of paradox— a non-paraconsistent one with a ‘true-only’ predicate, and a non-constructive one with a De Morgan negation. 2020 Mathematics Subject Classification. Primary: 03B45, Secondary: 03B80.

PDF Details

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
v2026.09.13