Kripke semantics and proof systems for combining intuitionistic logic and classical logic
Chuck Liang, Dale MillerVolume:
164
Year:
2013
Language:
english
DOI:
10.1016/j.apal.2012.09.005
File:
PDF, 357 KB
english, 2013