Pages that link to "Item:Q454386"
From MaRDI portal
The following pages link to Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics (Q454386):
Displaying 3 items.
- Neighbourhood semantics for quantified relevant logics (Q2144203) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
