Assertion: logic's semantic | /r/CapableOf | provide exact bhk semantics of proofs
Facets:
Source sentences:
text: It took Kleene realizability (Kleene 1945, Troelstra 1998) to reveal the computational semantics of Intuitionistic Logic and the Logic of Proofs to provide exact BHK semantics of proofs for Intuitionistic and Modal Logic.