Hai Dang

Programming Systems

Hai Dang

Research Immersion Lab

Research Immersion Lab: Results on Propositional Logic

References

• Brown, C. E. (2014). Semantics of intuitionistic propositional logic: Heyting algebras and Kripke models. Online.
• Fitting, Melvin (1969). _Intuitionistic Logic, Model Theory and Forcing_. Amsterdam, North-Holland Pub. Co..
• Kripke, Saul A. (1963). Semantical Analysis of Intuitionistic Logic I. In Michael Dummett and J. N. Crossley (eds.), _Journal of Symbolic Logic_. North Holland 92-130.
• McKinsey, J. C. C. (1939). Proof of the independence of the primitive symbols of Heyting's calculus of propositions. _Journal of Symbolic Logic_ 4 (4):155-158.
• Negri, S., van Plato, J., and Ranta, A. (2008). _Structural proof theory_. Cambridge University Press.
• Smolka, G. and Brown, C. E. (2012). _ICL'2012 Lecture Notes_. Online.
• Smolka, G. and Brown, C. E. (2013). _ICL'2013 Lecture Notes_. Online.
• Smolka, G. and Brown, C. E. (2014). _ICL'2014 Lecture Notes_. Online.
• Troelstra, A.S. and Dalen, D. (1988). _Constructivism in Mathematics: An Introduction_, volume 2. North-Holland.
• Troelstra, A.S. and Schwichtenberg, H. (1996). _Basic Proof Thoery_. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.