Tavole semantiche per sistemi astratti di logica estensionale
Rendiconti del Seminario Matematico della Università di Padova, Tome 54 (1975), pp. 31-57 
@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},
     pages = {31--57},
     year = {1975},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {54},
     mrnumber = {429509},
     zbl = {0357.02020},
     language = {it},
     url = {https://www.numdam.org/item/RSMUP_1975__54__31_0/}
}
TY  - JOUR
AU  - Previale, Flavio
TI  - Tavole semantiche per sistemi astratti di logica estensionale
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1975
SP  - 31
EP  - 57
VL  - 54
PB  - Seminario Matematico of the University of Padua
UR  - https://www.numdam.org/item/RSMUP_1975__54__31_0/
LA  - it
ID  - RSMUP_1975__54__31_0
ER  - 
%0 Journal Article
%A Previale, Flavio
%T Tavole semantiche per sistemi astratti di logica estensionale
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1975
%P 31-57
%V 54
%I Seminario Matematico of the University of Padua
%U https://www.numdam.org/item/RSMUP_1975__54__31_0/
%G it
%F 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. https://www.numdam.org/item/RSMUP_1975__54__31_0/

[1] E.W. Beth, The Foundations of Mathematics, North Holland (1959). | Zbl

[2] M. Fitting, Intuitionistic Logic Model Theory and Forcing, North Holland (1969). | Zbl | MR

[3] K.J. Hintikka, Form and content in quantification theory, Acta Philos. Fennica, 8 (1955), pp. 7-55. | Zbl | MR

[4] S. Kripke, Semantical Analysis of Modal Logic, I, Zeitschrift für Math. Logic, 9 (1963), pp. 67-96. | Zbl | MR

[5] S. Kripke, Semantical Analysis of Intuitionistic Logic, I, in Formal Systems and recursive functions, North Holland (1965), pp. 92-130. | Zbl | MR

[6] N.R.M. Smullyan, First order Logic, Springer Verlag (1968). | Zbl | MR

[7] N.R.M. Smullyan, Abstract Quantification Theory, in Intuitionism and Proof Theory, North-Holland (1970), pp. 79-91. | Zbl | MR

[8] N.R.M. Smullyan, A Generalization of Intuitionistic and Modal Logics, in Truth, Syntax and Modality, North Holland (1973), pp. 274-293. | Zbl | MR