Home

Przeglądanie wg autora "Menchon, Maria Paula"

Repozytorium Uniwersytetu Mikołaja Kopernika

Przeglądanie wg autora "Menchon, Maria Paula"

Sortuj wg: Porządek: Wyników:

  • From Contact Relations to Modal Operators, and Back 
    Gruszczyński, Rafał; Menchon, Maria Paula (Springer, 2023-04-06)
    One of the standard axioms for Boolean contact algebras says that if a region x is in contact with the join of y and z , then x is in contact with at least one of the two regions. Our intention is to examine a stronger ...
  • On the enumeration of finite L-algebras 
    Menchon, Maria Paula; Dietzel, Carsten; Vendramin, Leandro (American Mathematical Society, 2023-01-23)
    We use Constraint Satisfaction Methods to construct and enumerate finite L-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the ...