Shawn Standefer

From MaRDI portal
Person:1679782

Available identifiers

zbMath Open standefer.shawnMaRDI QIDQ1679782

List of research outcomes





PublicationDate of PublicationType
Hyperintensionality in relevant logics2024-06-26Paper
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS2024-03-16Paper
Weak relevant justification logics2024-02-08Paper
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS2024-01-11Paper
Varieties of Relevant S52023-07-03Paper
A substructural approach to explicit modal logic2023-06-14Paper
https://portal.mardi4nfdi.de/entity/Q51000102022-08-26Paper
Trees for E2022-08-10Paper
What is a relevant connective?2022-07-15Paper
An incompleteness theorem for modal relevant logics2022-02-14Paper
Revisiting Semilattice Semantics2022-02-04Paper
Tracking reasons with extensions of relevant logics2021-12-03Paper
Identity in Mares-Goldblatt models for quantified relevant logic2021-12-02Paper
Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs2019-12-11Paper
Natural deduction systems for E2019-09-23Paper
https://portal.mardi4nfdi.de/entity/Q46399092018-05-14Paper
Proof theory for functional modal logic2018-04-04Paper
Intersubstitutivity principles and the generalization function of truth2018-03-27Paper
Non-triviality done proof-theoretically2017-11-22Paper
Conditionals in theories of truth2017-10-19Paper
Contraction and revision2017-03-07Paper
On artifacts and truth-preservation2016-02-01Paper
Solovay-type theorems for circular definitions2015-10-20Paper
What is wrong with the Tarskian theory of truth?2013-04-24Paper
Philosophical aspects of display logic2012-11-16Paper

Research outcomes over time

This page was built for person: Shawn Standefer