Pages that link to "Item:Q2983401"
From MaRDI portal
The following pages link to Unified correspondence and proof theory for strict implication (Q2983401):
Displaying 8 items.
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Unified correspondence as a proof-theoretic tool (Q4612445) (← links)
- (Q4625704) (← links)
- (Q4678352) (← links)
- (Q5119388) (← links)
- A System for Strict Implication (Q5596729) (← links)