Equivalents for a quasivariety to be generated by a single structure

DOI10.1007/s11225-009-9168-3zbMath1167.08004OpenAlexW2010428907MaRDI QIDQ1005982

Aleksandr Vladimirovich Kravchenko, Wiesław Dziobiak, Piotr J. Wojciechowski

Publication date: 17 March 2009

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

Full work available at URL: https://doi.org/10.1007/s11225-009-9168-3

zbMATH Keywords

quasivarietyfree productembedding propertygeneration by a single structureLos-Suszko rule

Mathematics Subject Classification ID

Quasivarieties (08C15)

Related Items

Singly generated quasivarieties and residuated structures ⋮ Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• Finite-to-finite universal quasivarieties are \(Q\)-universal.
• Embeddings of totally ordered MV-algebras of bounded cardinality
• Algebraizable logics