On computable formal concepts in computable formal contexts.
Morozov, A.S., L'vova, M.A. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On lattices embeddable into subsemigroup lattices. V. Trees.”
On computable formal concepts in computable formal contexts.
Elementary regular rings. II.
Ershov, Yu.L. (2004)
Sibirskij Matematicheskij Zhurnal
Similarity:
Computable families of superatomic Boolean algebras.
Alaev, P. E. (2003)
Sibirskij Matematicheskij Zhurnal
Similarity:
On superalgebras over operads.
Tronin, S.N. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Differentiability of horizontal curves in Carnot–Carathéodory quasispaces.
Greshnov, A.V. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
Elementary submodels of parametrizable models.
Morozov, A.S. (2006)
Sibirskij Matematicheskij Zhurnal
Similarity:
On quasiresolvent periodic Abelian groups.
Khisamiev, A.N. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Quasivarieties of pseudo-MV-algebras.
Kuryleva, O.A. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
A conjecture on convex polyhedra.
Zalgaller, V.A. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Some properties of Van Koch's curves.
Ponomarev, S.P. (2007)
Sibirskij Matematicheskij Zhurnal
Similarity:
Strongly regular locally -graphs.
Makhnev, A.A. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
Теорема вложения для многообразий Кантора
Л.В. Шабунин (2001)
Algebra i Logika
Similarity:
Unicidad de implicación de álgebra-MV y negación de De Morgan.
Néstor G. Martínez, Hilary A. Priestley (1995)
Mathware and Soft Computing
Similarity:
It is shown that the implication of an MV-algebra is determined by de Morgan negation operations on a family of quotients of the given algebra; these quotients may be taken to be totally ordered. Certain existing results on the uniqueness of an MV-algebra implication are thereby elucidated and new criteria for uniqueness derived. These rely on a characterisation of chains on which a de Morgan negation is necessarily unique.
Еще раз о проблеме вхождения для подмногообразий многообразия
И.В. Латкин (2001)
Algebra i Logika
Similarity:
Por el giro de una aguja.
Antonio Córdoba (1999)
Gaceta de la Real Sociedad Matemática Española
Similarity:
Representation of vector measures.
Guzmán-Partida, Martha (2010)
Revista Colombiana de Matemáticas
Similarity: