Imants Baruss, Robert E. Woodrow. A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra. Logica Universalis, 7(3):323-334, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.