Pages that link to "Item:Q266652"
From MaRDI portal
The following pages link to Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652):
Displaying 7 items.
- General-elimination stability (Q526738) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
