Follow
Wesley Fussner
Wesley Fussner
Researcher, Institute of Computer Science of the Czech Academy of Sciences
Verified email at cs.cas.cz - Homepage
Title
Cited by
Cited by
Year
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
312007
Categories of models of R-mingle
W Fussner, N Galatos
Annals of Pure and Applied Logic 170 (10), 1188-1242, 2019
272019
A topological approach to MTL-algebras
W Fussner, S Ugolini
Algebra universalis 80 (3), 38, 2019
122019
An introduction to symbolic logic
G Bezhanishvili, W Fussner
Convergence, 2013
122013
Poset products as relational models
W Fussner
Studia Logica 110 (1), 95-120, 2022
112022
Transfer theorems for finitely subdirectly irreducible algebras
W Fussner, G Metcalfe
Journal of Algebra 640, 1-20, 2024
92024
Priestley duality for MV-algebras and beyond
W Fussner, M Gehrke, SJ van Gool, V Marra
Forum Mathematicum 33 (4), 899-921, 2021
92021
Some modal and temporal translations of generalized basic logic
W Fussner, W Zuluaga Botero
Relational and Algebraic Methods in Computer Science: 19th International …, 2021
82021
Residuation algebras with functional duals
W Fussner, A Palmigiano
Algebra universalis 80 (4), 40, 2019
62019
Negative translations of orthomodular lattices and their logic
W Fussner, GS John
arXiv preprint arXiv:2106.03656, 2021
52021
Distributive laws in residuated binars
W Fussner, P Jipsen
Algebra universalis 80 (4), 54, 2019
52019
Semiconic idempotent logic I: Structure and local deduction theorems
W Fussner, N Galatos
Annals of Pure and Applied Logic, 103443, 2024
32024
Semiconic idempotent logic II: Beth definability and deductive interpolation
W Fussner, N Galatos
arXiv preprint arXiv:2208.09724, 2022
32022
Interpolation in linear logic and related systems
W Fussner, S Santschi
arXiv preprint arXiv:2305.05051, 2023
12023
Conic Idempotent Residuated Lattices
W Fussner, N Galatos
arXiv preprint arXiv:2208.09724, 2022
12022
Mining counterexamples for wide-signature algebras with an Isabelle server
W Fussner, B Shminke
arXiv preprint arXiv:2109.05264, 2021
12021
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
12020
Categories of Residuated Lattices
DW Fussner
University of Denver, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20