Wesley Fussner

MaRDI QIDQ2007987zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semiconic idempotent logic. II: Beth definability and deductive interpolation Annals of Pure and Applied Logic	2025-01-08	Paper
Negative translations of orthomodular lattices and their logic	2024-11-29	Paper
Interpolation in linear logic and related systems ACM Transactions on Computational Logic	2024-11-12	Paper
Semiconic idempotent logic. I: Structure and local deduction theorems. Annals of Pure and Applied Logic	2024-05-14	Paper
Transfer theorems for finitely subdirectly irreducible algebras Journal of Algebra	2024-01-04	Paper
Interpolation and the Exchange Rule	2023-10-23	Paper
Interpolation in Linear Logic and Related Systems	2023-05-08	Paper
Some modal and temporal translations of generalized basic logic (available as arXiv preprint)	2023-03-30	Paper
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation	2022-08-20	Paper
Priestley duality for MV-algebras and beyond Forum Mathematicum	2022-04-04	Paper
Poset products as relational models Studia Logica	2022-03-15	Paper
Some modal and temporal translations of generalized basic logic (available as arXiv preprint)	2021-06-10	Paper
Negative Translations of Orthomodular Lattices and Their Logic	2021-06-07	Paper
Poset Products as Relational Models (available as arXiv preprint)	2020-12-02	Paper
Priestley duality for MV-algebras and beyond (available as arXiv preprint)	2020-02-28	Paper
Distributive laws in residuated binars Algebra Universalis	2019-11-22	Paper
Residuation algebras with functional duals Algebra Universalis	2019-09-27	Paper
Residuation algebras with functional duals Algebra Universalis	2019-09-27	Paper
A topological approach to MTL-algebras Algebra Universalis	2019-09-12	Paper
Categories of models of \(\mathbf{R}\)-mingle Annals of Pure and Applied Logic	2019-07-10	Paper
Distributive laws in residuated binars (available as arXiv preprint)	2019-01-06	Paper
Categories of Models of R-Mingle (available as arXiv preprint)	2017-10-11	Paper
Interpolation in H\'ajek's Basic Logic (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Wesley Fussner