Shawn Standefer

Available identifiers

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5197385	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
https://portal.mardi4nfdi.de/entity/Q2966519	2017-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q3466631	2016-02-01	Paper
SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS	2015-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4918304	2013-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4648960	2012-11-16	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shawn Standefer