Characterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages

Bibliografické údaje

Autoři

• Rostislav Horčík

Rok vydání

2015

Typ publikace

Abstrakt

Periodikum

Topology, Algebra and Categories in Logic. Booklet of Abstracts

Projekty

• Algebraické metody v teorii důkazů

Bibliografická citace

HORČÍK, Rostislav. Characterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages. In: Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015, S. 140-141.

ID

446020