Wesley Fussner

Orcid: 0000-0002-6025-8770

According to our database1, Wesley Fussner authored at least 18 papers between 2019 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Amalgamation in Semilinear Residuated Lattices.
Stud Logica, February, 2026

Agent Interpolation in Distributed Systems.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2026

2025
Maehara Interpolation in Extensions of R-mingle.
CoRR, December, 2025

Interpolation in Non-Classical Logics.
CoRR, December, 2025

Revisiting Interpolation in Relevant Logics.
CoRR, November, 2025

Agent Interpolation for Knowledge.
CoRR, May, 2025

Algebraic Proof Theory for Infinitary Action Logic.
CoRR, January, 2025

Interpolation in Hájek's basic logic.
Ann. Pure Appl. Log., 2025

Semiconic idempotent logic II: Beth definability and deductive interpolation.
Ann. Pure Appl. Log., 2025

2024
Interpolation in Linear Logic and Related Systems.
ACM Trans. Comput. Log., 2024

Semiconic idempotent logic I: Structure and local deduction theorems.
Ann. Pure Appl. Log., 2024

2023
Interpolation and the Exchange Rule.
CoRR, 2023

2022
Poset Products as Relational Models.
Stud Logica, 2022

Conic Idempotent Residuated Lattices.
CoRR, 2022

2021
Mining counterexamples for wide-signature algebras with an Isabelle server.
CoRR, 2021

Negative Translations of Orthomodular Lattices and Their Logic.
Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Some Modal and Temporal Translations of Generalized Basic Logic.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2019
Categories of models of R-mingle.
Ann. Pure Appl. Log., 2019


  Loading...