Pages that link to "Item:Q484102"
From MaRDI portal
The following pages link to Bilateralism in proof-theoretic semantics (Q484102):
Displaying 11 items.
- Anything goes (Q1708461) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Logical multilateralism (Q6145030) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) (Q6200460) (← links)
- Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic (Q6200465) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) (Q6200466) (← links)
- Fractional-Valued Modal Logic and Soft Bilateralism (Q6200467) (← links)
- Supposition: A Problem for Bilateralism (Q6200468) (← links)
- Bilateral Rules as Complex Rules (Q6200469) (← links)