The following pages link to (Q3003836):
Displaying 15 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
- Anything goes (Q1708461) (← links)
- On the meaning of connectives (apropos of a non-necessitarianist challenge) (Q1942340) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Introducing identity (Q2056224) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Necessary Truth and Proof (Q2908766) (← links)
- The Irrelative System in Tonal Harmony (Q3064969) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- Dialogues, Reasons and Endorsement (Q3305643) (← links)
- Harmonious Extensions (Q4389016) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Modal intervals (Q5935455) (← links)