Pages that link to "Item:Q1688710"
From MaRDI portal
The following pages link to A more general general proof theory (Q1688710):
Displayed 12 items.
- Routley star and hyperintensionality (Q830371) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Connexive Conditional Logic. Part I (Q3387894) (← links)
- Questions to Michael Dunn (Q5059687) (← links)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
- Logical multilateralism (Q6145030) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) (Q6200460) (← links)
- Core Type Theory (Q6200463) (← links)
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) (Q6200464) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) (Q6200466) (← links)
- Fractional-Valued Modal Logic and Soft Bilateralism (Q6200467) (← links)