Separating families of locale maps and localic embeddings
Luis Español González , Francisco Javier Gutierrez García , Tomasz Kubiak
págs. 105-112
págs. 113-120
págs. 121-130
Type 1 representable lattices of dimension at most 4
Grigore Calugareanu, Carolina Contiu
págs. 131-139
Free iterative and iteration K-semialgebras
Zoltán Esik, W. Kuich
págs. 141-162
The decidability of some classes of Stone algebras
Martin Adamcík, Pavol Zlatos
págs. 163-173
Intuitionistic logic and Muchnik degrees
Andrea Sorbi, Sebastiaan A. Terwijn
págs. 175-188
Endomorphisms of finite regular Kleene lattices
Hernando Gaitán
págs. 189-204
© 2008-2024 Fundación Dialnet · Todos los derechos reservados