1 paper
Shay Allen Logan, Blane Worley
Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics…