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
9
weak Heyting algebras
2
Adjunction
1
Amalgamation property
1
BCK-algebras
1
Categorical equivalence
1
Centered Kleene algebras
1
Compatible operation
1
Craig’s interpolation theorem
1
Extensions of intuitionistic propositional calculus
1
Finite model property
1
Free algebras
1
Heyting algebra
1
Heyting algebras
1
Heyting algebras with operators
1
Hilbert algebras
1
Ideals
1
Implicative semilattice
1
Intuitionistic logic
1
Involutive distributive lattices
1
Lattices with implication
1
MV-algebras
1
Priestley duality
1
Successor operator
1
commutative residuated lattices
1
compatible functions
1
congruences
1
frontal operators
1
modal operators
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8por San Martín, Hernán JavierMaterias: “...weak Heyting algebras...”
Publicado 2015
Aportado por: SEDICI (UNLP)Articulo -
9