Generalized ordinal sums and the decidability of BL-chains

DOI10.1007/S00012-004-1831-YzbMath1077.03046OpenAlexW1966448964MaRDI QIDQ2577686

Yvonne V. Shashoua, Michael Chris Laskowski

Publication date: 6 January 2006

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-004-1831-y

zbMATH Keywords

decidabilityordinal sumsordered semigroupsBL-algebrasBL-chains

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)

Related Items (1)

Provability in predicate product logic

This page was built for publication: Generalized ordinal sums and the decidability of BL-chains