The following pages link to J. Soliveres Tur (Q929638):
Displayed 15 items.
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?} (Q1637277) (← links)
- On the directly and subdirectly irreducible many-sorted algebras. (Q2340238) (← links)
- (Q2834122) (← links)
- (Q3012624) (← links)
- (Q3086528) (← links)
- (Q3377761) (← links)
- (Q3514312) (← links)
- Birkhoff-Frink representations as functors (Q3560968) (← links)
- On many-sorted algebraic closure operators (Q4458761) (← links)
- (Q4682103) (← links)
- (Q5325482) (← links)
- (Q5411451) (← links)
- On the Morphisms and Transformations of Tsuyoshi Fujiwara (as a concretion of a bidimensional many-sorted general algebra and its application to the equivalence between many-sorted clones and algebraic theories) (Q6230484) (← links)