[go: up one dir, main page]

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
402007
Categories of models of R-mingle
W Fussner, N Galatos
Annals of Pure and Applied Logic 170 (10), 1188-1242, 2019
352019
Transfer theorems for finitely subdirectly irreducible algebras
W Fussner, G Metcalfe
Journal of Algebra 640, 1-20, 2024
262024
A topological approach to MTL-algebras
W Fussner, S Ugolini
Algebra universalis 80 (3), 38, 2019
202019
Priestley duality for MV-algebras and beyond
W Fussner, M Gehrke, SJ van Gool, V Marra
Forum Mathematicum 33 (4), 899-921, 2021
172021
Poset products as relational models
W Fussner
Studia Logica 110 (1), 95-120, 2022
162022
An introduction to symbolic logic
G Bezhanishvili, W Fussner
Convergence, 2013
122013
Interpolation in Hájek's basic logic
W Fussner, S Santschi
Annals of Pure and Applied Logic, 103615, 2025
112025
Interpolation in linear logic and related systems
W Fussner, S Santschi
ACM Transactions on Computational Logic 25 (4), 1-19, 2024
112024
Semiconic idempotent logic I: Structure and local deduction theorems
W Fussner, N Galatos
Annals of Pure and Applied Logic 175 (7), 103443, 2024
102024
Semiconic idempotent logic II: Beth definability and deductive interpolation
W Fussner, N Galatos
Annals of Pure and Applied Logic 176 (3), 103528, 2025
92025
Some modal and temporal translations of generalized basic logic
W Fussner, W Zuluaga Botero
International Conference on Relational and Algebraic Methods in Computer …, 2021
92021
Amalgamation in semilinear residuated lattices
W Fussner, S Santschi
Studia Logica, 1-42, 2025
72025
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
72021
Residuation algebras with functional duals
W Fussner, A Palmigiano
Algebra universalis 80 (4), 40, 2019
72019
Interpolation and the exchange rule
W Fussner, G Metcalfe, S Santschi
arXiv preprint arXiv:2310.14953, 2023
52023
Distributive laws in residuated binars
W Fussner, P Jipsen
Algebra universalis 80 (4), 54, 2019
52019
Interpolation in non-classical logics
W Fussner
arXiv preprint arXiv:2512.01600, 2025
22025
Conic idempotent residuated lattices
W Fussner, N Galatos
arXiv preprint arXiv:2208.09724, 2022
22022
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
12021
The system can't perform the operation now. Try again later.
Articles 1–20