Shawn Standefer

Available identifiers

zbMath Open standefer.shawnMaRDI QIDQ1679782

List of research outcomes

Publication	Date of Publication	Type
Hyperintensionality in relevant logics	2024-06-26	Paper
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS	2024-03-16	Paper
Weak relevant justification logics	2024-02-08	Paper
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS	2024-01-11	Paper
Varieties of Relevant S5	2023-07-03	Paper
A substructural approach to explicit modal logic	2023-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q5100010	2022-08-26	Paper
Trees for E	2022-08-10	Paper
What is a relevant connective?	2022-07-15	Paper
An incompleteness theorem for modal relevant logics	2022-02-14	Paper
Revisiting Semilattice Semantics	2022-02-04	Paper
Tracking reasons with extensions of relevant logics	2021-12-03	Paper
Identity in Mares-Goldblatt models for quantified relevant logic	2021-12-02	Paper
Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs	2019-12-11	Paper
Natural deduction systems for E	2019-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4639909	2018-05-14	Paper
Proof theory for functional modal logic	2018-04-04	Paper
Intersubstitutivity principles and the generalization function of truth	2018-03-27	Paper
Non-triviality done proof-theoretically	2017-11-22	Paper
Conditionals in theories of truth	2017-10-19	Paper
Contraction and revision	2017-03-07	Paper
On artifacts and truth-preservation	2016-02-01	Paper
Solovay-type theorems for circular definitions	2015-10-20	Paper
What is wrong with the Tarskian theory of truth?	2013-04-24	Paper
Philosophical aspects of display logic	2012-11-16	Paper

Research outcomes over time

This page was built for person: Shawn Standefer