Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Ordered Adjoint Logic
Sophia Roshal, Frank Pfenning
Ordered logics and type systems have been used in a variety of applications including computational linguistics, memory allocation, stream processing, logical frameworks, parametri…
cs.LO2024
Adjoint Natural Deduction (Extended Version)
Junyoung Jang, Sophia Roshal, Frank Pfenning +1
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where…