Poset Products as Relational Models von Fussner, Wesley

Volltext

Transfer theorems for finitely subdirectly irreducible algebras von Fussner, Wesley, Metcalfe, George

Volltext

Semiconic idempotent logic II: Beth definability and deductive interpolation von Fussner, Wesley, Galatos, Nikolaos

Volltext

Semiconic idempotent logic I: Structure and local deduction theorems von Fussner, Wesley, Galatos, Nikolaos

Volltext

Interpolation in Linear Logic and Related Systems von Fussner, Wesley, Santschi, Simon

Volltext

Categories of models of R-mingle von Fussner, Wesley, Galatos, Nick

Volltext

A topological approach to MTL-algebras von Fussner, Wesley, Ugolini, Sara

Volltext

Relational and Algebraic Methods in Computer Science: 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings von Fahrenberg, Uli, Fussner, Wesley, Glück, Roland

Volltext

Distributive laws in residuated binars von Fussner, Wesley, Jipsen, Peter

Volltext

Residuation algebras with functional duals von Fussner, Wesley, Palmigiano, Alessandra

Volltext

Relational and Algebraic Methods in Computer Science: 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings

Volltext

Negative Translations of Orthomodular Lattices and Their Logic von Fussner, Wesley, St. John, Gavin

Volltext

Poset Products as Relational Models von Fussner, Wesley

Volltext

L-Fuzzy Weak Preference, Preference, and Choice Relations von Osei, Frimpong, Winter, Michael

Volltext

Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops von Nakamura, Yoshiki

Volltext

Restructuring a Concurrent Refinement Algebra von Hayes, Ian J., Meinicke, Larissa A., Evangelou-Oost, Naso

Volltext

Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras von Craig, Andrew, Jipsen, Peter, Robinson, Claudette

Volltext

On the Structure of Balanced Residuated Partially Ordered Monoids von Bonzio, Stefano, Gil-Férez, José, Jipsen, Peter, Přenosil, Adam, Sugimoto, Melissa

Volltext

Lifting Star-Autonomy von de Lacroix, Cédric, Chichery, Gregory, Santocanale, Luigi

Volltext

A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems von Glück, Roland

Volltext