Wesley Fussner

Chercheur en logique et algèbre

 en ▪ fr ▪ de



À mon sujet ▪ Recherche ▪ Enseignement ▪ Contact


Ma recherche applique des techniques issues de l'algèbre, de la topologie, et de la théotire des catégories à l'étude de la logique. Ma recherche emprunte également de plus en plus d'outils à la démonstration automatique de théorèmes, et je développe parfois des programmes informatiques pour résoudre des problèmes logiques et algébriques. Si vous voulez en savoir plus sur ma recherche, vous pouvez consulter mes publications et mes plus récents exposés ci-dessous.

Je suis coprésident au comité d'élaboration du programme de RAMiCS 2024.

   Thèse


   Publications

  1. W. Fussner, G. Metcalfe et S. Santschi, Interpolation and the Exchange Rule. Submitted manuscript, 28 pages. arXiv
  2. W. Fussner et S. Santschi, Interpolation in Linear Logic and Related Systems. Submitted manuscript, 22 pages. arXiv
  3. W. Fussner et N. Galatos, Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation. Submitted manuscript, 49 pages. arXiv
  4. W. Fussner et N. Galatos, Semiconic Idempotent Logic I: Structure and Local Deduction Theorems. Submitted manuscript, 38 pages. arXiv
  5. W. Fussner et G. Metcalfe, Transfer Theorems for Finitely Subdirectly Irreducible Algebras. Accepted to the Journal of Algebra, 24 pages. arXiv.
  6. W. Fussner, Poset Products as Relational Models, Studia Logica 110:95-120 (2022), 26 pages. arXiv  publication
  7. W. Fussner et W. Zuluaga Botero, Some Modal and Temporal Translations of Generalized Basic Logic. In: U. Fahrenberg et al. (eds.), Proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), LNCS 13027, pp. 176-191, 17 pages. arXiv  publication.
  8. W. Fussner et G. St. John, Negative Translations of Orthomodular Lattices and Their Logic. In: C. Heunen and M. Backens (eds.), Proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), EPTCS 343, pp. 37-49, 12 pages. arXiv publication
  9. W. Fussner, M. Gehrke, S. van Gool, et V. Marra, Priestley Duality for MV-algebras and Beyond, Forum Mathematicum 33:899-922 (2021), 23 pages. arXiv  publication
  10. W. Fussner et P. Jipsen, Distributive Laws in Residuated Binars, Algebra Universalis 80, paper 54 (2019), 13 pages. arXiv  publication
  11. W. Fussner et N. Galatos, Categories of models of R-mingle, Ann. Pure Appl. Logic 170:1188-1242 (2019), 55 pages. arXiv  publication
  12. W. Fussner et A. Palmigiano, Residuation Algebras with Functional Duals, Algebra Universalis 80, paper 40 (2019), 10 pages. publication
  13. W. Fussner et S. Ugolini, A Topological Approach to MTL-algebras, Algebra Universalis 80, paper 38 (2019), 37 pages. arXiv  publication
  14. W. Fussner et A. Palmigiano, Residuation Algebras with Functional Duals. In: K. Adaricheva, W. DeMeo, and J. Hyndman (eds.), Algebras and Lattices in Hawai'i: Honoring Ralph Freese, Bill Lampe, and J.B. Nation, pp. 39-46, Lulu 2018, 7 pages. arXiv  publication
  15. G. Bezhanishvili et W. Fussner, An Introduction to Symbolic Logic, Convergence, July 2013, 23 pages. publication

   Autres textes

  1. W. Fussner et B. Schminke, Mining Counterexamples for Wide-Signature Algebras With an Isabelle Server. In: M. Douglas et al. (eds.), Proceedings of the 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021). Short paper. arXiv  proceedings
  2. W. Fussner, Computer-Assisted Identification of Splittings in Subvariety Lattices. In: C. Hales et al. (eds.), Proceedings of the 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020). proceedings
  3. W. Fussner, N. Ghannoum, T. Jakl, et C. Simpson, Classification of Finite Semigroups and Categories Using Computational Methods. In: C. Hales et al. (eds.), Proceedings of the 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020). proceedings

   Exposés récents

  1. Interpolation in Substructural Logics II: Logics without Exchange, MOSAIC 2023, Vienna, Austria. diapositives
  2. Interpolation in exchange-free logics, CLoCk 2023, Cracow, Poland. diapositives
  3. Poset Product Representations Over Simple Residuated Lattices, RAMiCS 2023, Augsburg, Germany. diapositives
  4. Strict Implication Over Logics Without Contraction, Advances in Modal Logic 2022, Rennes, France. diapositives
  5. Interpolation via Finitely Subdirectly Irreducible Algebras, Fourth Workshop on Interpolation, Haifa, Israël. diapositives
  6. Representations by Antichain Labelings, BLAST 2022, Orange, California, Etats-Unis (Exposé invité). diapositives
  7. The Structure of Totally Ordered Idempotent Residuated Lattices, TACL 2022, Coimbra, Portugal. diapositives