intuitionistic-logic

Philosophy

Logic & Formal Reasoning

• Beyond Classical Logic“Nonclassical logic” sounds as if there were classical logic on one side and one alternative on the other.