Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference24 articles.
1. Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia (1975)
2. Basu, S. S., and S. G. Simpson, Mass problems and higher-order intuitionistic logic, 2014. arxiv:1408.2763 .
3. Chagrov A., Zakharyaschev M.: Modal Logic. Clarendon Press, Oxford (1997)
4. Gabbay D. M.: Properties of Heyting’s predicate calculus with respect to r.e. models. The Journal of Symbolic Logic 41(1), 81–94 (1976)
5. Gabbay D.M.: Semantical Investigations in Heyting’s Intuitionistic Logic. Springer, Berlin (1981)