Assertion: propositional logic | /r/CapableOf | receive desired rigorous bhk semantics
Facets:
value: with \(\mathsf{lp}\
type: OTHER
Source sentences:
text: With \(\mathsf{LP}\), propositional intuitionistic logic received the desired rigorous BHK semantics: