Overview of Consciousness Research. - Imants Baruss (Informatica (Slovenia), 2000)

A Reduction Theorem for the Kripke-Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra. - Imants Baruss; Robert E. Woodrow (Logica Universalis, 2013)