Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
Xavier Caicedo
Universidad Nacional de Colombia
Perfil externo:
Citaciones:
372
Productos:
39
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
Cargando información...
39 Productos
Más citado
CSV
API
Standard Gödel Modal Logics
Ver producto
Acceso Cerrado
Fuente: Studia Logica
Xavier Caicedo
Ricardo Oscar Rodriguez
Tópico:
Advanced Algebra and Logic
Publicado: 2010
Citaciones:
71
Altmétricas:
0
Artículo de revista
An algebraic approach to intuitionistic connectives
Ver producto
Acceso Cerrado
Fuente: Journal of Symbolic Logic
Xavier Caicedo
Roberto Cignoli
Tópico:
Advanced Algebra and Logic
Publicado: 2001
Citaciones:
52
Altmétricas:
0
Artículo de revista
Back-and-Forth Systems for Arbitrary Quantifiers
Ver producto
Acceso Cerrado
Fuente: Studies in logic and the foundations of mathematics
Xavier Caicedo
Tópico:
Advanced Topology and Set Theory
Publicado: 1980
Citaciones:
40
Altmétricas:
0
Capítulo de libro
Equivalence and quantifier rules for logic with imperfect information
Ver producto
Acceso Abierto
Fuente: Logic Journal of IGPL
Xavier Caicedo
Francien Dechesne
Tim Janssen
Tópico:
Game Theory and Applications
Publicado: 2008
Citaciones:
39
Altmétricas:
0
Artículo de revista
A Finite Model Property for Gödel Modal Logics
Ver producto
Acceso Cerrado
Fuente: Lecture notes in computer science
Xavier Caicedo
George Metcalfe
Ricardo Oscar Rodriguez
Jonas Rogger
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2013
Citaciones:
26
Altmétricas:
0
Capítulo de libro
The Abstract Compactness Theorem Revisited
Ver producto
Acceso Cerrado
Fuente: Springer eBooks
Xavier Caicedo
Tópico:
Advanced Topology and Set Theory
Publicado: 1999
Citaciones:
25
Altmétricas:
0
Capítulo de libro
Finitely axiomatizable quasivarieties of graphs
Ver producto
Acceso Cerrado
Fuente: Algebra Universalis
Xavier Caicedo
Tópico:
Advanced Algebra and Logic
Publicado: 1995
Citaciones:
18
Altmétricas:
0
Artículo de revista
Implicit connectives of algebraizable logics
Ver producto
Acceso Cerrado
Fuente: Studia Logica
Xavier Caicedo
Tópico:
Advanced Algebra and Logic
Publicado: 2004
Citaciones:
18
Altmétricas:
0
Artículo de revista
The subdirect decomposition theorem for classes of structures closed under direct limits
Ver producto
Acceso Abierto
Fuente: Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics
Xavier Caicedo
Tópico:
Advanced Algebra and Logic
Publicado: 1980
Citaciones:
10
Altmétricas:
0
Artículo de revista
Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
Ver producto
Acceso Cerrado
Fuente: Lecture notes in computer science
Xavier Caicedo
Tópico:
Advanced Algebra and Logic
Publicado: 2007
Citaciones:
8
Altmétricas:
0
Capítulo de libro
1
NaN
NaN / pág.
