Tavole semantiche per sistemi astratti di logica estensionale
Previale, Flavio
Rendiconti del Seminario Matematico della Università di Padova, Tome 54 (1975), p. 31-57 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1975-01-01
@article{RSMUP_1975__54__31_0,
     author = {Previale, Flavio},
     title = {Tavole semantiche per sistemi astratti di logica estensionale},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {54},
     year = {1975},
     pages = {31-57},
     mrnumber = {429509},
     zbl = {0357.02020},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RSMUP_1975__54__31_0}
}

Previale, Flavio. Tavole semantiche per sistemi astratti di logica estensionale. Rendiconti del Seminario Matematico della Università di Padova, Tome 54 (1975) pp. 31-57. http://gdmltest.u-ga.fr/item/RSMUP_1975__54__31_0/

[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