![](/img/cover-not-exists.png)
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
Ferrari, Mauro, Fiorentini, Camillo, Fiorino, GuidoVolume:
19
Language:
english
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.3166/jancl.19.149-166
Date:
January, 2009
File:
PDF, 183 KB
english, 2009