Pages that link to "Item:Q1688710"
From MaRDI portal
The following pages link to A more general general proof theory (Q1688710):
Displaying 7 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)