Wesley Fussner

23 papers C 4Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2026 C conf
Agent Interpolation in Distributed Systems.
RAMICS
Marta Bílková, Wesley Fussner, Roman Kuznets
2026 J jnl
Amalgamation in Semilinear Residuated Lattices.
Stud Logica
Wesley Fussner, Simon Santschi
2026 C ed.
Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7-10, 2026, Proceedings
RAMICS
Uli Fahrenberg, Wesley Fussner, Luigi Santocanale
2025 J jnl
Agent Interpolation for Knowledge.
CoRR
Marta Bílková, Wesley Fussner, Roman Kuznets
2025 J jnl
Algebraic Proof Theory for Infinitary Action Logic.
CoRR
Wesley Fussner, Simon Santschi, Borja Sierra-Miranda
2025 J jnl
Interpolation in Hájek's basic logic.
Ann. Pure Appl. Log.
Wesley Fussner, Simon Santschi
2025 J jnl
Interpolation in Non-Classical Logics.
CoRR
Wesley Fussner
2025 J jnl
Maehara Interpolation in Extensions of R-mingle.
CoRR
Wesley Fussner, Krzysztof Krawczyk
2025 J jnl
Revisiting Interpolation in Relevant Logics.
CoRR
Wesley Fussner, Andrew Tedder
2025 J jnl
Semiconic idempotent logic II: Beth definability and deductive interpolation.
Ann. Pure Appl. Log.
Wesley Fussner, Nikolaos Galatos
2024 J jnl
Interpolation in Linear Logic and Related Systems.
ACM Trans. Comput. Log.
Wesley Fussner, Simon Santschi
2024 C ed.
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
RAMiCS
Uli Fahrenberg, Wesley Fussner, Roland Glück
2024 J jnl
Semiconic idempotent logic I: Structure and local deduction theorems.
Ann. Pure Appl. Log.
Wesley Fussner, Nikolaos Galatos
2023 J jnl
Interpolation and the Exchange Rule.
CoRR
Wesley Fussner, George Metcalfe, Simon Santschi
2023 J jnl
Interpolation in Linear Logic and Related Systems.
CoRR
Wesley Fussner, Simon Santschi
2022 J jnl
Conic Idempotent Residuated Lattices.
CoRR
Wesley Fussner, Nick Galatos
2022 J jnl
Poset Products as Relational Models.
Stud Logica
Wesley Fussner
2021 J jnl
Mining counterexamples for wide-signature algebras with an Isabelle server.
CoRR
Wesley Fussner, Boris Shminke
2021 — conf
Negative Translations of Orthomodular Lattices and Their Logic.
QPL
Wesley Fussner, Gavin St. John
2021 C conf
Some Modal and Temporal Translations of Generalized Basic Logic.
RAMiCS
Wesley Fussner, William Javier Zuluaga Botero
2021 J jnl
Some modal and temporal translations of generalized basic logic.
CoRR
Wesley Fussner, William Javier Zuluaga Botero
2020 J jnl
Poset products as relational models.
CoRR
Wesley Fussner
2019 J jnl
Categories of models of R-mingle.
Ann. Pure Appl. Log.
Wesley Fussner, Nick Galatos