Michal M. Stronkowski

11 papers C 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Tabular Intermediate Logics Comparison.
WoLLIC
Pawel Rzazewski, Michal M. Stronkowski
2025 J jnl
Tabular intermediate logics comparison.
CoRR
Pawel Rzazewski, Michal M. Stronkowski
2020 J jnl
Deciding active structural completeness.
Arch. Math. Log.
Michal M. Stronkowski
2018 J jnl
Profiniteness in Finitely Generated Varieties is Undecidable.
J. Symb. Log.
Anvar M. Nurakunov, Michal M. Stronkowski
2016 J jnl
Almost structural completeness; an algebraic approach.
Ann. Pure Appl. Log.
Wojciech Dzik, Michal M. Stronkowski
2015 J jnl
On structural completeness versus almost structural completeness problem: A discriminator varieties case study.
Log. J. IGPL
Miguel Campercholi, Michal M. Stronkowski, Diego Vaggione
2014 J jnl
Almost structural completeness; an algebraic approach.
CoRR
Wojciech Dzik, Michal M. Stronkowski
2013 — conf
Almost structural completeness; an algebraic approach.
TACL
Wojciech Dzik, Michal M. Stronkowski
2013 J jnl
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited.
Stud Logica
Anvar M. Nurakunov, Michal M. Stronkowski
2009 J jnl
Embedding Entropic Algebras into Semimodules and Modules.
Int. J. Algebra Comput.
Michal M. Stronkowski
2009 J jnl
Quasivarieties with Definable Relative Principal Subcongruences.
Stud Logica
Anvar M. Nurakunov, Michal M. Stronkowski