Pages that link to "Item:Q5869717"
From MaRDI portal
The following pages link to Towards universal logic: gaggle logics (Q5869717):
Displaying 5 items.
- Dual gaggle semantics for entailment (Q1038602) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Gaggles, Gentzen and Galois: how to display your favourite substructural logic (Q4221769) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)