The following pages link to Marta S. Sagastume (Q284214):
Displayed 27 items.
- A categorical equivalence motivated by Kalman's construction (Q284216) (← links)
- (Q1005950) (redirect page) (← links)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- (Q1406852) (redirect page) (← links)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- The logic of equilibrium and abelian lattice ordered groups (Q1879318) (← links)
- Completeness theorems via the double dual functor (Q1970592) (← links)
- On a definition of a variety of monadic \(\ell\)-groups. (Q2016065) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- (Q3086535) (← links)
- (Q3204509) (← links)
- (Q3204510) (← links)
- Compatible Functions in Algebras Associated to Extensions of Positive Logic (Q3442404) (← links)
- (Q3632251) (← links)
- Compatible operations on commutative residuated lattices (Q3643365) (← links)
- Conical logic and <i>l</i>-groups logic (Q3647230) (← links)
- (Q3859963) (← links)
- (Q4249029) (← links)
- (Q4306182) (← links)
- (Q4327714) (← links)
- (Q4440572) (← links)
- Some Operators in Kripke Models with an Involution (Q4443422) (← links)
- <i>MV</i><sup>*</sup>—Algebras (Q4656547) (← links)
- Chang's Ł<sup>*</sup>Logic (Q4656548) (← links)
- (Q4835629) (← links)
- (Q5485950) (← links)
- (Q5592289) (← links)