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

Bibliographic details

Authors

Rostislav Horčík

Publication year

2015

Publication type

Abstrakt

Periodical

Topology, Algebra and Categories in Logic. Booklet of Abstracts

Projects

• Algebraic Methods in Proof Theory

Bibliographic citation

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