User menu

Constants in Kripke Models for Intuitionistic Logic

Bibliographic reference Dzierzgowski, D.. Constants in Kripke Models for Intuitionistic Logic. In: Mathematical Logic Quarterly, Vol. 41, no. 4, p. 431-441 (1995)
Permanent URL http://hdl.handle.net/2078.1/47673
  1. Barwise, J. Symbolic Logic, 41, 531 (1976)
  2. Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi. Synthese Library vol. 127, D. Reidel Publ. Comp., Dordrecht-Boston-Lancaster 1979.
  3. Dzierzgowski, J. Symbolic Logic (1995)
  4. Dzierzgowski, Logique et Analyse, 131–132, 273 (1990)
  5. Le théorème d'ambiguïté et son extension à la logique intuitioniste. PhD thesis, Université catholique de Louvain, Institut de mathématique pure et appliquée, 1993.
  6. Semantical Investigations in Heyting's Intuitionistic Logic. Synthese Library vol. 178. D. Reidel Publ. Comp., Dordrecht-Boston-Lancaster 1981.
  7. Lavendhomme, Notre Dame J. Formal Logic, 31, 389 (1990)
  8. Van Dalen Dirk, Intuitionistic Logic, Handbook of Philosophical Logic (1986) ISBN:9789401088015 p.225-339, 10.1007/978-94-009-5203-4_4
  9. Veldman, J. Symbolic Logic, 41, 159 (1976)