The following pages link to Xavier Caicedo (Q810006):
Displaying 6 items.
- Every minimal dual discriminator variety is minimal as a quasivariety (Q829767) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- On extensions of \(L_{\omega\omega}(Q_1)\) (Q1141645) (← links)
- A formal system for the non-theorems of the propositional calculus (Q1235130) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
