Recherche et téléchargement d’archives de revues mathématiques numérisées

 
 
  Table des matières de ce fascicule | Article précédent | Article suivant
Previale, Flavio
Tavole semantiche per sistemi astratti di logica estensionale. Rendiconti del Seminario Matematico della Università di Padova, 54 (1975), p. 31-57
Texte intégral djvu | pdf | Analyses MR 429509 | Zbl 0357.02020

URL stable: http://www.numdam.org/item?id=RSMUP_1975__54__31_0

Bibliographie

[1] E.W. Beth, The Foundations of Mathematics, North Holland (1959).  Zbl 0085.24104
[2] M. Fitting, Intuitionistic Logic Model Theory and Forcing, North Holland (1969).  MR 262056 |  Zbl 0188.32003
[3] K.J. Hintikka, Form and content in quantification theory, Acta Philos. Fennica, 8 (1955), pp. 7-55.  MR 69779 |  Zbl 0067.00103
[4] S. Kripke, Semantical Analysis of Modal Logic, I, Zeitschrift für Math. Logic, 9 (1963), pp. 67-96.  MR 146053 |  Zbl 0118.01305
[5] S. Kripke, Semantical Analysis of Intuitionistic Logic, I, in Formal Systems and recursive functions, North Holland (1965), pp. 92-130.  MR 201300 |  Zbl 0137.00702
[6] N.R.M. Smullyan, First order Logic, Springer Verlag (1968).  MR 243994 |  Zbl 0172.28901
[7] N.R.M. Smullyan, Abstract Quantification Theory, in Intuitionism and Proof Theory, North-Holland (1970), pp. 79-91.  MR 268029 |  Zbl 0206.27201
[8] N.R.M. Smullyan, A Generalization of Intuitionistic and Modal Logics, in Truth, Syntax and Modality, North Holland (1973), pp. 274-293.  MR 403924 |  Zbl 0268.02017
Copyright Cellule MathDoc 2014 | Crédit | Plan du site