Wesley Fussner

According to our database, Wesley Fussner authored at least 9 papers between 2019 and 2024.

Collaborative distances:

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

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