Pages that link to "Item:Q636384"
From MaRDI portal
The following pages link to Canonical extensions for congruential logics with the deduction theorem (Q636384):
Displaying 8 items.
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Variations of the free implicative semilattice extension of a Hilbert algebra (Q2318265) (← links)
- An Abstract Algebraic Logic View on Judgment Aggregation (Q3457691) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
