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 19 items.
- General-elimination stability (Q526738) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- The idea of a proof-theoretic semantics and the meaning of the logical operations (Q1970589) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- The justification of the logical laws revisited (Q2500811) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- A comparative study of various model-theoretic treatments of negation: A history of formal negation (Q2715515) (← links)
- Peano's Counterexample to Harmony (Q3305303) (← links)
- (Q3367229) (← links)
- SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS (Q3499800) (← links)
- (Q4636049) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- (Q5039207) (← links)
- (Q5100007) (← links)
- Views of proof-theoretic semantics: reified proof-theoretic meanings (Q5739971) (← 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)