FROCOS
2007
Springer
14 years 5 months ago
2007
Springer
We present a simple logic that combines, in a conservative way, the implicative fragments of both classical and intuitionistic logics, thus settling a problem posed by Dov Gabbay i...