×

Found 131 Documents (Results 1–100)

Amalgamation and interpolation in abstract algebraic logic. (English) Zbl 0927.03086

Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 187-265 (1999).
MSC:  03G25 08C10 03C40
PDF BibTeX XML Cite

Construction of semigroups with the congruence extension property. (English) Zbl 0971.20038

Shum, Kar Ping (ed.) et al., Semigroups. Papers from the international conference on semigroups and its related topics, Kunming, China, August 18-23, 1995. Singapore: Springer. 296-312 (1998).
Reviewer: H.Mitsch (Wien)
MSC:  20M10 08A30
PDF BibTeX XML Cite

A note on UCEP. (English) Zbl 0824.08003

Chajda, I. (ed.) et al., General algebra and ordered sets. Proceedings of the international conference and summer school, held in Horní Lipová, Czech Republic, September 4-12, 1994. Olomouc: Palacký University Olomouc, Department of Algebra and Geometry, 131-137 (1994).
MSC:  08A30 08A05
PDF BibTeX XML Cite

Quasivarieties of De Morgan algebras: RCEP. (English) Zbl 0820.06005

Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 121-129 (1994).
MSC:  06D30 08C15
PDF BibTeX XML Cite

On the structure of TC semigroups. (English) Zbl 0821.20048

Bonzini, C. (ed.) et al., Semigroups: algebraic theory and applications to formal languages and codes. Proceedings of the international conference on semigroups, held in Luino, Italy, from 22nd to 27th June, 1992. Singapore: World Scientific. 300-310 (1993).
MSC:  20M10 08A40
PDF BibTeX XML Cite

On the congruence extension property for semigroups. (English) Zbl 0810.20049

Bonzini, C. (ed.) et al., Semigroups: algebraic theory and applications to formal languages and codes. Proceedings of the international conference on semigroups, held in Luino, Italy, from 22nd to 27th June, 1992. Singapore: World Scientific. 133-143 (1993).
MSC:  20M17 08A30 20M07
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field