Wesley Fussner

According to our database, Wesley Fussner authored at least 18 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Amalgamation in Semilinear Residuated Lattices.

Wesley Fussner, Simon Santschi

Stud Logica, February, 2026

Agent Interpolation in Distributed Systems.

Marta Bílková, Wesley Fussner, Roman Kuznets

Proceedings of the Relational and Algebraic Methods in Computer Science, 2026

2025

Maehara Interpolation in Extensions of R-mingle.

Wesley Fussner, Krzysztof Krawczyk

CoRR, December, 2025

Interpolation in Non-Classical Logics.

Wesley Fussner

CoRR, December, 2025

Revisiting Interpolation in Relevant Logics.

Wesley Fussner, Andrew Tedder

CoRR, November, 2025

Agent Interpolation for Knowledge.

Marta Bílková, Wesley Fussner, Roman Kuznets

CoRR, May, 2025

Algebraic Proof Theory for Infinitary Action Logic.

Wesley Fussner, Simon Santschi, Borja Sierra-Miranda

CoRR, January, 2025

Interpolation in Hájek's basic logic.

Wesley Fussner, Simon Santschi

Ann. Pure Appl. Log., 2025

Semiconic idempotent logic II: Beth definability and deductive interpolation.

Wesley Fussner, Nikolaos Galatos

Ann. Pure Appl. Log., 2025

2024

Interpolation in Linear Logic and Related Systems.

Wesley Fussner, Simon Santschi

ACM Trans. Comput. Log., 2024

Semiconic idempotent logic I: Structure and local deduction theorems.

Wesley Fussner, Nikolaos Galatos

Ann. Pure Appl. Log., 2024

2023

Interpolation and the Exchange Rule.

Wesley Fussner, George Metcalfe, Simon Santschi

CoRR, 2023

2022

Poset Products as Relational Models.

Wesley Fussner

Stud Logica, 2022

Conic Idempotent Residuated Lattices.

Wesley Fussner, Nick Galatos

CoRR, 2022

2021

Mining counterexamples for wide-signature algebras with an Isabelle server.

Wesley Fussner, Boris Shminke

CoRR, 2021

Negative Translations of Orthomodular Lattices and Their Logic.

Wesley Fussner, Gavin St. John

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Some Modal and Temporal Translations of Generalized Basic Logic.

Wesley Fussner, William Javier Zuluaga Botero

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2019

Categories of models of R-mingle.

Wesley Fussner, Nick Galatos

Ann. Pure Appl. Log., 2019