SEMINAR IN LOGIC AND GAMES AT CUNY
Truthmaker Semantics for Intuitionistic Logic
Kit Fine (Philosophy, NYU)
Friday, Novermber 11, 4:15 PM
Room 4419, CUNY Graduate Center
Abstract: I present a new semantics for intuitionistic logic, which is a kind of cross between the standard constructive semantics and the Kripke semantics, and I discuss some of its philosophical and technical implications
Formal Philosophy 