Wesley Fussner

Forscher in Logik und Algebra

 en ▪ fr ▪ de



Über mich ▪ Forschung ▪ Lehre ▪ Kontakt


Meine Forschung wendet Techniken aus Algebra, Topologie, und Kategorientheorie an, um Logik zu studieren. Meine Forschung verwendet auch zunehmend Werkzeuge dem automatisierten Theorembeweisen, und manchmal entwickle ich Computerprogramme, um Probleme in Algebra und Logik zu lösen. Um mehr über meine Forschung zu erfahren, können Sie meine unten verlinkten Forschungsarbeiten und letzten Vorträge einsehen.

Ich bin Co-Vorsitzender des Programmkomitees für RAMiCS 2024.

   Doktorarbeit


   Veröffentlichte Forschungsarbeiten

  1. W. Fussner, G. Metcalfe, und S. Santschi, Interpolation and the Exchange Rule. Submitted manuscript, 28 Seiten. arXiv
  2. W. Fussner und S. Santschi, Interpolation in Linear Logic and Related Systems. Submitted manuscript, 22 Seiten. arXiv
  3. W. Fussner und N. Galatos, Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation. Submitted manuscript, 49 Seiten. arXiv
  4. W. Fussner und N. Galatos, Semiconic Idempotent Logic I: Structure and Local Deduction Theorems. Submitted manuscript, 38 Seiten. arXiv
  5. W. Fussner und G. Metcalfe, Transfer Theorems for Finitely Subdirectly Irreducible Algebras. Aufnahme in das Journal of Algebra, 24 Seiten. arXiv.
  6. W. Fussner, Poset Products as Relational Models, Studia Logica 110:95-120 (2022), 26 Seiten. arXiv  veröffentlicht
  7. W. Fussner und 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 Seiten. arXiv  veröffentlicht.
  8. W. Fussner und 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 Seiten. arXiv
    9.  veröffentlicht
  9. W. Fussner, M. Gehrke, S. van Gool und V. Marra, Priestley Duality for MV-algebras and Beyond, Forum Mathematicum 33:899-922 (2021), 23 Seiten. arXiv  veröffentlicht
  10. W. Fussner und P. Jipsen, Distributive Laws in Residuated Binars, Algebra Universalis 80, paper 54 (2019), 13 Seiten. arXiv  veröffentlicht
  11. W. Fussner und N. Galatos, Categories of models of R-mingle, Ann. Pure Appl. Logic 170:1188-1242 (2019), 55 Seiten. arXiv  veröffentlicht
  12. W. Fussner und A. Palmigiano, Residuation Algebras with Functional Duals, Algebra Universalis 80, paper 40 (2019), 10 Seiten. veröffentlicht
  13. W. Fussner und S. Ugolini, A Topological Approach to MTL-algebras, Algebra Universalis 80, paper 38 (2019), 37 Seiten. arXiv  veröffentlicht
  14. W. Fussner und 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 Seiten. arXiv  veröffentlicht
  15. G. Bezhanishvili und W. Fussner, An Introduction to Symbolic Logic, Convergence, July 2013, 23 Seiten. veröffentlicht

   Sonstige Texte

  1. W. Fussner und 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, und 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

   Letzte Vorträge

  1. Strict Implication Over Logics Without Contraction, Advances in Modal Logic 2022, Rennes, Frankreich. Folien
  2. Interpolation via Finitely Subdirectly Irreducible Algebras, Fourth Workshop on Interpolation, Haifa, Israel. Folien
  3. Representations by Antichain Labelings, BLAST 2022, Orange, California, Vereinigte Staaten (Eingeladener Vortrag). Folien
  4. The Structure of Totally Ordered Idempotent Residuated Lattices, TACL 2022, Coimbra, Portugal. Folien