Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Matemática
weak Heyting algebras
3
compatible functions
2
Amalgamation property
1
Compatible operation
1
Craig’s interpolation theorem
1
Extensions of intuitionistic propositional calculus
1
Finite model property
1
Heyting algebra
1
Heyting algebras
1
Heyting algebras with operators
1
Intuitionistic logic
1
Priestley duality
1
Successor operator
1
commutative residuated lattices
1
congruences
1
frontal operators
1
locally affine completeness
1
modal operators
1
-
1
-
2por San Martín, Hernán JavierMaterias: “...weak Heyting algebras...”
Publicado 2013
Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4por San Martín, Hernán JavierMaterias: “...weak Heyting algebras...”
Publicado 2015
Aportado por: SEDICI (UNLP)Articulo -
5
-
6