The following pages link to (Q2715524):
Displayed 15 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- On some mistaken beliefs about core logic and some mistaken core beliefs about logic (Q1633896) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Negation on the Australian plan (Q2295602) (← links)
- Some comments on Ian Rumfitt's bilateralism (Q2410887) (← links)
- Meta-inferences and supervaluationism (Q2679589) (← links)
- EPISTEMIC MULTILATERAL LOGIC (Q5078819) (← links)
- Emptiness and Discharge in Sequent Calculus and Natural Deduction (Q5259653) (← links)
- Identity and harmony and modality (Q6054058) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
- Core Type Theory (Q6200463) (← links)
- Harmony and Normalisation in Bilateral Logic (Q6200471) (← links)