The following pages link to Shawn Standefer (Q1679782):
Displayed 24 items.
- Non-triviality done proof-theoretically (Q1679783) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Intersubstitutivity principles and the generalization function of truth (Q1709089) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- An incompleteness theorem for modal relevant logics (Q2075284) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- (Q2966519) (← links)
- SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS (Q3195586) (← links)
- (Q3466631) (← links)
- (Q4639909) (← links)
- (Q4648960) (← links)
- (Q4918304) (← links)
- Tracking reasons with extensions of relevant logics (Q5014055) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Trees for E (Q5095640) (← links)
- (Q5100010) (← links)
- (Q5197385) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
- A substructural approach to explicit modal logic (Q6156629) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)
- Weak relevant justification logics (Q6189219) (← links)