The following pages link to Xavier Caicedo (Q810006):
Displaying 47 items.
- Definability properties and the congruence closure (Q810007) (← links)
- 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)
- Compactness and normality in abstract logics (Q1208083) (← links)
- A formal system for the non-theorems of the propositional calculus (Q1235130) (← links)
- Subdirect decomposition of \(n\)-chromatic graphs (Q1272897) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- (Q1902535) (redirect page) (← links)
- Finitely axiomatizable quasivarieties of graphs (Q1902536) (← links)
- The one-variable fragment of corsi logic (Q2303581) (← links)
- On a characterization of path connected topological fields (Q2318355) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- A Finite Model Property for Gödel Modal Logics (Q2849434) (← links)
- XV Latin American Symposium on Mathematical Logic (SLALM 2012), Bogotá, Colombia, June 4—8, 2012 (Q2870109) (← links)
- (Q3064901) (← links)
- (Q3410356) (← links)
- (Q3496323) (← links)
- (Q3499701) (← links)
- Equivalence and quantifier rules for logic with imperfect information (Q3613174) (← links)
- (Q3688380) (← links)
- A simple solution to Friedman's fourth problem (Q3762300) (← links)
- (Q3768890) (← links)
- (Q3778022) (← links)
- (Q3872438) (← links)
- (Q3888153) (← links)
- Independent Sets of Axioms In L<sub>κα</sub> (Q3905264) (← links)
- (Q3912851) (← links)
- (Q3929916) (← links)
- (Q4282958) (← links)
- An algebraic approach to intuitionistic connectives (Q4328824) (← links)
- (Q4395560) (← links)
- (Q4395566) (← links)
- (Q4400873) (← links)
- (Q4542796) (← links)
- (Q4699335) (← links)
- (Q4835614) (← links)
- (Q4941994) (← links)
- Bi-modal Godel logic over [0,1]-valued Kripke frames (Q5176545) (← links)
- Lindström’s Theorem for Positive Logics, a Topological View (Q5213562) (← links)
- (Q5221581) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
