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 | 35 | 2007 |
Categories of models of R-mingle W Fussner, N Galatos Annals of Pure and Applied Logic 170 (10), 1188-1242, 2019 | 29 | 2019 |
Transfer theorems for finitely subdirectly irreducible algebras W Fussner, G Metcalfe Journal of Algebra 640, 1-20, 2024 | 17 | 2024 |
A topological approach to MTL-algebras W Fussner, S Ugolini Algebra universalis 80 (3), 38, 2019 | 15 | 2019 |
Poset products as relational models W Fussner Studia Logica 110 (1), 95-120, 2022 | 12 | 2022 |
An introduction to symbolic logic G Bezhanishvili, W Fussner Convergence, 2013 | 12 | 2013 |
Priestley duality for MV-algebras and beyond W Fussner, M Gehrke, SJ van Gool, V Marra Forum Mathematicum 33 (4), 899-921, 2021 | 10 | 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 |
Semiconic idempotent logic I: Structure and local deduction theorems W Fussner, N Galatos Annals of Pure and Applied Logic 175 (7), 103443, 2024 | 6 | 2024 |
Semiconic idempotent logic II: Beth definability and deductive interpolation W Fussner, N Galatos arXiv preprint arXiv:2208.09724, 2022 | 6 | 2022 |
Negative translations of orthomodular lattices and their logic W Fussner, G St. John 18th International Conference on Quantum Physics and Logic (QPL 2021), 37-49, 2021 | 6 | 2021 |
Residuation algebras with functional duals W Fussner, A Palmigiano Algebra universalis 80 (4), 40, 2019 | 6 | 2019 |
Interpolation in H\'ajek's Basic Logic W Fussner, S Santschi arXiv preprint arXiv:2403.13617, 2024 | 5 | 2024 |
Distributive laws in residuated binars W Fussner, P Jipsen Algebra universalis 80 (4), 54, 2019 | 4 | 2019 |
Interpolation in linear logic and related systems W Fussner, S Santschi ACM Transactions on Computational Logic, 2023 | 2 | 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 Proceedings of the 6th Conference on Artificial Intelligence and Theorem …, 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 |
Amalgamation in Semilinear Residuated Lattices W Fussner, S Santschi arXiv preprint arXiv:2407.21613, 2024 | | 2024 |