jamie wannenburg

Epimorphisms in Varieties of Heyting Algebras

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

One-sorted Program Algebras

Epimorphisms in Varieties of De Morgan Monoids

One-sorted Program Algebras

Epimorphisms in varieties of De Morgan monoids

Epimorphisms in varieties of De Morgan monoids

Epimorphisms in varieties of semilinear residuated lattices

A Generalization of Ultraproducts

Epimorphisms in varieties of semilinear residuated lattices

Epimorphisms in varieties of semilinear residuated lattices

Beth definability in relevance logics with the Gödel-Dummett axiom

Some algebraic tools and their application to logic

Varieties of De Morgan Monoids

Epimorphisms in varieties of Heyting algebras

Epimorphisms in Varieties of Heyting Algebras

Epimorphism surjectivity in varieties of Heyting algebras

Epimorphisms in varieties of square-increasing residuated structures

Pre-maximal relevance logics via De Morgan monoids

Varieties of De Morgan monoids II: Covers of atoms

On the algebra of relevance logics

On the algebra of relevance logics

On the algebra of relevance logics

Varieties of De Morgan monoids

Varieties of De Morgan monoids

On the lattice of varieties of De Morgan monoids