No non-trivial quasivariety of BCK-algebras has decidable first order theory

DOI10.1007/BF00370645zbMath0639.03064MaRDI QIDQ1100203

M.Pałasiński

Publication date: 1987

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

BCK-algebrassemantic embedding methodundecidable first order theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25)

Related Items (1)

Universal algebras

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: No non-trivial quasivariety of BCK-algebras has decidable first order theory