Refutation of Heyting Algebra
Colin James · viXra · 2019
Using the Lindenbaum method, we show pseudo-complementation is not tautologous along with its eight properties. This refutes Heyting algebra. Based thereon, what follows is the Godel n-valued matrix logic is refuted and the derivative intuitionistic propositional logic.