Displaying similar documents to “On canonical formulas for extensions of minimal logic.”