Existence of global attractors for the Benjamin–Bona–Mahony equation in unbounded domains B Wang, DW Fussner, C Bi Journal of Physics A: Mathematical and Theoretical 40 (34), 10491, 2007 | 31 | 2007 |
Categories of models of R-mingle W Fussner, N Galatos Annals of Pure and Applied Logic 170 (10), 1188-1242, 2019 | 27 | 2019 |
A topological approach to MTL-algebras W Fussner, S Ugolini Algebra universalis 80 (3), 38, 2019 | 12 | 2019 |
An introduction to symbolic logic G Bezhanishvili, W Fussner Convergence, 2013 | 12 | 2013 |
Poset products as relational models W Fussner Studia Logica 110 (1), 95-120, 2022 | 11 | 2022 |
Transfer theorems for finitely subdirectly irreducible algebras W Fussner, G Metcalfe Journal of Algebra 640, 1-20, 2024 | 9 | 2024 |
Priestley duality for MV-algebras and beyond W Fussner, M Gehrke, SJ van Gool, V Marra Forum Mathematicum 33 (4), 899-921, 2021 | 9 | 2021 |
Some modal and temporal translations of generalized basic logic W Fussner, W Zuluaga Botero Relational and Algebraic Methods in Computer Science: 19th International …, 2021 | 8 | 2021 |
Residuation algebras with functional duals W Fussner, A Palmigiano Algebra universalis 80 (4), 40, 2019 | 7 | 2019 |
Negative translations of orthomodular lattices and their logic W Fussner, GS John arXiv preprint arXiv:2106.03656, 2021 | 5 | 2021 |
Distributive laws in residuated binars W Fussner, P Jipsen Algebra universalis 80 (4), 54, 2019 | 5 | 2019 |
Semiconic idempotent logic I: Structure and local deduction theorems W Fussner, N Galatos Annals of Pure and Applied Logic 175 (7), 103443, 2024 | 3 | 2024 |
Semiconic idempotent logic II: Beth definability and deductive interpolation W Fussner, N Galatos arXiv preprint arXiv:2208.09724, 2022 | 3 | 2022 |
Interpolation in linear logic and related systems W Fussner, S Santschi arXiv preprint arXiv:2305.05051, 2023 | 1 | 2023 |
Conic Idempotent Residuated Lattices W Fussner, N Galatos arXiv preprint arXiv:2208.09724, 2022 | 1 | 2022 |
Mining counterexamples for wide-signature algebras with an Isabelle server W Fussner, B Shminke arXiv preprint arXiv:2109.05264, 2021 | 1 | 2021 |
Classification of finite semigroups and categories using computational methods W Fussner, N Ghannoum, T Jakl, C Simpson Proceedings of the 5th Conference on Artificial Intelligence and Theorem …, 2020 | 1 | 2020 |
Categories of Residuated Lattices DW Fussner University of Denver, 2018 | 1 | 2018 |
Interpolation in H\'ajek's Basic Logic W Fussner, S Santschi arXiv preprint arXiv:2403.13617, 2024 | | 2024 |
Interpolation and the Exchange Rule W Fussner, G Metcalfe, S Santschi arXiv preprint arXiv:2310.14953, 2023 | | 2023 |