Pages that link to "Item:Q2983401"

From MaRDI portal

← Unified correspondence and proof theory for strict implication (Q2983401)

Jump to:navigation, search

The following pages link to Unified correspondence and proof theory for strict implication (Q2983401):

Displaying 2 items.

Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
Residuated expansions of lattice-ordered structures (Q2658277) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2983401"