Metadata
Author: WikiMatrix
Data
English[en]
One obtains the rules for intuitionistic negation the same way but by excluding double negation elimination.
Spanish[es]
Las reglas para negación intuicionista se obtienen de la misma forma, pero excluyendo la eliminación de la doble negación.