Admissible Tools in the Kitchen of Intuitionistic Logic

Andrea Condoluci, Matteo Manighetti

The usual reading of logical implication "A implies B" as "if A then B" fails in intuitionistic logic: there are formulas A and B such that "A implies B" is not provable, even thou…