Wesley Fussner

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Temporal Consistency

Condition Number

Relational Models

Top Venues

Ann. Pure Appl. Log.

Publications

Wesley Fussner, Nikolaos Galatos
Semiconic idempotent logic I: Structure and local deduction theorems. Ann. Pure Appl. Log. 175 (7) (2024)
Wesley Fussner, George Metcalfe, Simon Santschi
Interpolation and the Exchange Rule. CoRR (2023)
Wesley Fussner, Simon Santschi
Interpolation in Linear Logic and Related Systems. CoRR (2023)
Wesley Fussner, Nick Galatos
Conic Idempotent Residuated Lattices. CoRR (2022)
Wesley Fussner
Poset Products as Relational Models. Stud Logica 110 (1) (2022)
Wesley Fussner, Boris Shminke
Mining counterexamples for wide-signature algebras with an Isabelle server. CoRR (2021)
Wesley Fussner, William Javier Zuluaga Botero
Some Modal and Temporal Translations of Generalized Basic Logic. RAMiCS (2021)
Wesley Fussner, Gavin St. John
Negative Translations of Orthomodular Lattices and Their Logic. QPL (2021)
Wesley Fussner, William Javier Zuluaga Botero
Some modal and temporal translations of generalized basic logic. CoRR (2021)
Wesley Fussner
Poset products as relational models. CoRR (2020)
Wesley Fussner, Nick Galatos
Categories of models of R-mingle. Ann. Pure Appl. Log. 170 (10) (2019)