On Gödel’s Modal Interpretation of the Intuitionistic Logic

[1]  Shôji Maehara,et al.  Eine Darstellung der Intuitionistischen Logik in der Klassischen , 1954, Nagoya Mathematical Journal.

[2]  Karel Berka,et al.  Logik-Texte - kommentierte Auswahl zur Geschichte der modernen Logik (4. Aufl.) , 1971 .

[3]  Hércules de Araújo Feitosa,et al.  Paraconsistent Logics and Translations , 2004, Synthese.

[4]  Itala M. Loffredo D'Ottaviano,et al.  New Dimensions on Translations Between Logics , 2009, Logica Universalis.

[5]  Die logischen Grundlagen der Mathematik , 1922 .

[6]  Saul A. Kripke,et al.  Semantical Analysis of Intuitionistic Logic I , 1965 .

[7]  Marcelo E. Coniglio.  Recovering a Logic from Its Fragments by Meta-Fibring , 2007, Logica Universalis.

[8]  Nicolas D. Goodman,et al.  Epistemic arithmetic is a conservative extension of intuitionistic arithmetic , 1984, Journal of Symbolic Logic.

[9]  Krister Segerberg,et al.  An Introduction to Modal Logic , 1977 .

[10]  R. Solovay.  Provability interpretations of modal logic , 1976 .

[11]  Jacques Herbrand.  Sur la non-contradiction de l'Arithmétique. , 1932 .

[12]  J. D. Silva.  On the Principle of Excluded Middle , 2012 .

[13]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[14]  Kurt Gödel,et al.  An Interpretation of the Intuitionistic Propositional Calculus (1933f) , 2012 .

[15]  Robert Goldblatt,et al.  Arithmetical necessity, provability and intuitionistic logic , 2008 .

[16]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[17]  R. Sikorski,et al.  Algebraic Treatment of the Notion of Satisfiability , 1953 .

[18]  Hércules de Araújo Feitosa,et al.  Deductive systems and translations , 2007 .

[19]  Dag Prawitz,et al.  A survey of some connections between classical, intuitionistic and minimal logic , 1968 .

[20]  Itala M. Loffredo D'Ottaviano,et al.  Conservative translations and model-theoretic translations , 1999 .

[21]  W. V. Quine,et al.  Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus. , 1937 .

[22]  G. Gentzen.  Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .

[23]  Itala M. Loffredo D'Ottaviano,et al.  Many-valued logics and translations , 1999, J. Appl. Non Class. Logics.

[24]  Martin Davis,et al.  The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .

[25]  Andrzej Grzegorczyk.  Some relational systems and the associated topological spaces , 1967 .

[26]  R. Wójcicki.  Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[27]  Ian Hacking,et al.  What is strict implication? , 1963, Journal of Symbolic Logic.

[28]  S. Korner,et al.  The philosophy of mathematics , 1960 .