Jamie J. Wannenburg

According to our database, Jamie J. Wannenburg authored at least 6 papers between 2020 and 2022.

Collaborative distances:

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

2022

One-sorted Program Algebras.

Igor Sedlár, Johann J. Wannenburg

CoRR, 2022

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests.

Igor Sedlár, Johann J. Wannenburg

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

2020

Epimorphisms, Definability and Cardinalities.

Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg

Stud Logica, 2020

Varieties of de Morgan Monoids: Covers of atoms.

Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg

Rev. Symb. Log., 2020

Singly generated quasivarieties and residuated structures.

Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg

Math. Log. Q., 2020

Epimorphism surjectivity in varieties of Heyting algebras.

Tommaso Moraschini, Jamie J. Wannenburg

Ann. Pure Appl. Log., 2020