Sciweavers

Share
FROCOS
2007
Springer
9 years 2 months ago
Combining Classical and Intuitionistic Implications
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...
Carlos Caleiro, Jaime Ramos
books