Assertion: negation | /r/HasProperty | the proposition
Facets:
value: in intuitionistic logic
type: OTHER
value: according –heyting–kolmogorov interpretation
type: OTHER
Source sentences:
text: In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition P {\displaystyle P} is the proposition whose proofs are the refutations of P {\displaystyle P} .