Pages that link to "Item:Q1770605"
From MaRDI portal
The following pages link to Implicit connectives of algebraizable logics (Q1770605):
Displaying 11 items.
- Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- On relative principal congruences in term quasivarieties (Q2106878) (← links)
- Implicit definability of truth constants in Łukasiewicz logic (Q2317518) (← links)
- Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Principal congruences in weak Heyting algebras (Q2630276) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- Compatible operations on commutative residuated lattices (Q3643365) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
