Mostrando
1 - 5
Resultados de
5
Para Buscar '
Caicedo, X.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Caicedo, X.
Mostrando
1 - 5
Resultados de
5
Para Buscar '
Caicedo, X.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
An algebraic approach to intuitionistic connectives
por
Caicedo
,
X
.
,
Cignoli, R.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
2
Bi-modal Gödel logic over [0,1]-valued Kripke frames
por
Caicedo
,
X
.
,
Rodríguez, R.O.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
3
Standard Gödel modal logics
por
Caicedo
,
X
.
,
Rodriguez, R.O.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
4
Decidability of order-based modal logics
por
Caicedo
,
X
.
,
Metcalfe, G.
,
Rodríguez, R.
,
Rogger, J.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
5
A finite model property for gödel modal logics
por
Caicedo
,
X
.
,
Metcalfe, G.
,
Rodríguez, R.
,
Rogger, J.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Modal logic
Semantics
Computability and decidability
Finite model property
Formal logic
Kripke frames
Many valued logics
Many-valued logics
Strong completeness
Algebra
Completeness theorems
Complexity
Computer circuits
Decidability
First-order
Fuzzy Kripke semantics
Fuzzy logic
Gödel logic
Gödel logics
Gödel-Dummett logic
Intuitionistic modal logic
Kripke model
Kripke models
Many-valued modal logics
Modal algebras
Modal logics
Np-completeness
One-variable fragments
Prelinearity
Pspace completeness
Cargando...