Unlike classical logic, which can be viewed algebraically as a Boolean algebra, this logic can be viewed as a Heyting algebra that treats negation as a pseudo-complement. For 10 points each:
[10m] Identify this logic weaker than classical logic, which does not validate double negation elimination or excluded middle. This logic is typically given a semantics based on the BHK interpretation.
ANSWER: intuitionistic logic [accept intuitionism; reject “mathematical intuitionism”]
[10e] This logician gave a relational semantics for intuitionistic logic based on the relational semantics for modal logic he discovered as a teenager. In honor of this logician, the minimal normal modal logic is named K.
ANSWER: Saul Kripke [or Saul Aaron Kripke]
[10h] Kit Fine developed a realist semantics for intuitionistic logic based on these states that “exactly verify” propositions. Mulligan, Simons and Smith introduced them in a 1984 defense of the correspondence theory.
ANSWER: truthmakers [or truthmaker semantics or truthmaker theory]
<Caleb Kendrick, Philosophy>