Please note, due to essential maintenance online transactions will not be possible between 02:30 and 04:00 BST, on Tuesday 17th September 2019 (22:30-00:00 EDT, 17 Sep, 2019). We apologise for any inconvenience.
Robert K. Meyer. Intuitionism, entailment, negation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 168–198.