Wesley Fussner

Available identifiers

Publication	Date of Publication	Type
Semiconic idempotent logic. II: Beth definability and deductive interpolation	2025-01-08	Paper
Negative translations of orthomodular lattices and their logic	2024-11-29	Paper
Interpolation in linear logic and related systems	2024-11-12	Paper
Semiconic idempotent logic. I: Structure and local deduction theorems.	2024-05-14	Paper
Transfer theorems for finitely subdirectly irreducible algebras	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	2023-03-30	Paper
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation	2022-08-20	Paper
Priestley duality for MV-algebras and beyond	2022-04-04	Paper
Poset products as relational models	2022-03-15	Paper
Some modal and temporal translations of generalized basic logic	2021-06-10	Paper
Negative Translations of Orthomodular Lattices and Their Logic	2021-06-07	Paper
Poset Products as Relational Models	2020-12-02	Paper
Priestley duality for MV-algebras and beyond	2020-02-28	Paper
Distributive laws in residuated binars	2019-11-22	Paper
Residuation algebras with functional duals	2019-09-27	Paper
A topological approach to MTL-algebras	2019-09-12	Paper
Categories of models of \(\mathbf{R}\)-mingle	2019-07-10	Paper
Distributive laws in residuated binars	2019-01-06	Paper
Categories of Models of R-Mingle	2017-10-11	Paper
Interpolation in H\'ajek's Basic Logic	N/A	Paper

This page was built for person: Wesley Fussner