Fussner, Wesley
- Interpolation in Hájek's Basic Logic
2024/03/20 by Wesley Fussner, Simon Santschi, Fussner, Wesley +1 · 5 citations
Arts and Humanities · Medicine · #03B47 #03C40 #03G25 #06F05 #FOS: Mathematics #Logic (math.LO) #Medieval and Classical Philosophy #Rings and Algebras (math.RA) #Traditional Chinese Medicine Studies
- Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
2022/08/20 by Fussner, Wesley, Galatos, Nick · 3 citations
#03B47 #03C40 #03G10 #06F05 #08A05 #18A20 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rings and Algebras (math.RA)
- Interpolation in Linear Logic and Related Systems
2023/05/08 by Fussner, Wesley, Santschi, Simon · 3 citations
#03B47 #03C05 #03C40 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Amalgamation in Semilinear Residuated Lattices
2024/07/31 by Wesley Fussner, Simon Santschi, Fussner, Wesley +1 · 4 citations
Computer Science · #Advanced Algebra and Logic
- Transfer theorems for finitely subdirectly irreducible algebras
2022/05/10 by Wesley Fussner, George Metcalfe, Fussner, Wesley +1 · 3 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic structures and combinatorial models #FOS: Mathematics #Logic (math.LO)
- Interpolation and the Exchange Rule
2023/10/23 by WESLEY FUSSNER, Fussner, Wesley, GEORGE METCALFE +3 · 3 citations
#03B47 (Primary) #03C10 (Secondary) #03C40 #03G25 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Rings and Algebras (math.RA)
- Algebraic Proof Theory for Infinitary Action Logic
2025/01/30 by Wesley Fussner, Fussner, Wesley, Simon Santschi +2 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic