Pages that link to "Item:Q2409626"

The following pages link to Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626):

Displaying 1 item.

• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)