Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable

Bibliographic details

Authors

Rostislav Horčík

Publication year

2012

Publication type

Abstrakt

Periodical

Logic, Algebra and Truth Degrees 2012. Book of Abstracts

Bibliographic citation

HORČÍK, Rostislav. Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable. In: TERUI, K., PREINING, N., eds. Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012, S. 2-2.

ID

381410