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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Roberto Cignoli
Facultad de Ciencias Exactas y Naturales (UBA)
Universidad de Buenos Aires
Perfil externo:
Citaciones:
52
Productos:
1
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...
1 Producto
Más citado
CSV
API
An algebraic approach to intuitionistic connectives
Acceso Cerrado
Fuente: Journal of Symbolic Logic
Xavier Caicedo
Roberto Cignoli
Temas:
Unary operation
Propositional calculus
Mathematics
Intuitionistic logic
Axiom
Negation
Algebra over a field
Truth value
Propositional variable
Algebraic number
Axiomatic system
Calculus (dental)
Law of excluded middle
Discrete mathematics
Intermediate logic
Pure mathematics
Computer science
Artificial intelligence
Linguistics
Description logic
Medicine
Mathematical analysis
Philosophy
Geometry
Dentistry
Programming language
Publicado: 2001
Citaciones:
52
Altmétricas:
0
Artículo de revista
1
NaN
