Michal M. Stronkowski

According to our database, Michal M. Stronkowski authored at least 8 papers between 2009 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2025

Tabular Intermediate Logics Comparison.

Pawel Rzazewski, Michal M. Stronkowski

Proceedings of the Logic, Language, Information, and Computation, 2025

2020

Deciding active structural completeness.

Michal M. Stronkowski

Arch. Math. Log., 2020

2018

Profiniteness in Finitely Generated Varieties is Undecidable.

Anvar M. Nurakunov, Michal M. Stronkowski

J. Symb. Log., 2018

2015

On structural completeness versus almost structural completeness problem: A discriminator varieties case study.

Miguel Campercholi, Michal M. Stronkowski, Diego Vaggione

Log. J. IGPL, 2015

2013

Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited.

Anvar M. Nurakunov, Michal M. Stronkowski

Stud Logica, 2013

Almost structural completeness; an algebraic approach.

Wojciech Dzik, Michal M. Stronkowski

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2009

Quasivarieties with Definable Relative Principal Subcongruences.

Anvar M. Nurakunov, Michal M. Stronkowski

Stud Logica, 2009

Embedding Entropic Algebras into Semimodules and Modules.

Michal M. Stronkowski

Int. J. Algebra Comput., 2009