Pages that link to "Item:Q5425997"
From MaRDI portal
The following pages link to Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997):
Displayed 6 items.
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← 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)
- Łukasiewicz Games (Q5277898) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)