Pages that link to "Item:Q2503153"
From MaRDI portal
The following pages link to Algebras defined from ordered sets and the varieties they generate (Q2503153):
Displaying 6 items.
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939) (← links)
- Extended-order algebras (Q959059) (← links)
- A syntactic approach to the MacNeille completion of \(\Lambda^\ast\), the free monoid over an ordered alphabet \(\Lambda\) (Q2314419) (← links)
- (Q3622541) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)