Geodesic
Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům
Pokroky matematiky, fyziky a astronomie, Tome 43 (1998) no. 1, pp. 39-45 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03-xx 
@article{PMFA_1998_43_1_a3,
     author = {H\'ajek, Petr and Sochor, Anton{\'\i}n},
     title = {Klasick\'a logika v kontextu sv\'ych zobecn\v{e}n{\'\i} a boj docenta {Fialy} proti v\v{e}trn\'ym ml\'yn\r{u}m},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {39--45},
     year = {1998},
     volume = {43},
     number = {1},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1998_43_1_a3/}
}
TY  - JOUR
AU  - Hájek, Petr
AU  - Sochor, Antonín
TI  - Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 1998
SP  - 39
EP  - 45
VL  - 43
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/PMFA_1998_43_1_a3/
LA  - cs
ID  - PMFA_1998_43_1_a3
ER  - 
%0 Journal Article
%A Hájek, Petr
%A Sochor, Antonín
%T Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům
%J Pokroky matematiky, fyziky a astronomie
%D 1998
%P 39-45
%V 43
%N 1
%U http://geodesic.mathdoc.fr/item/PMFA_1998_43_1_a3/
%G cs
%F PMFA_1998_43_1_a3
Hájek, Petr; Sochor, Antonín. Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům. Pokroky matematiky, fyziky a astronomie, Tome 43 (1998) no. 1, pp. 39-45. http://geodesic.mathdoc.fr/item/PMFA_1998_43_1_a3/

[1] Barwise, J.: Admissible sets and structures. Springer-Verlag 1975. | MR | Zbl

[2] Ebbinghaus, H. D., Flum, J., Thomas, W.: Mathematical Logic. Springer-Verlag 1984. | MR | Zbl

[3] Ebbinghaus, H. D., Flum, J.: Finite model theory. Springer-Verlag 1993.

[4] Fiala, J.: Je elementární logika totéž co predikátová logika 1. řádu?. Pokroky matematiky, fyziky a astronomie 42 (1997), 127–133.

[5] Gabbay, D., Guenther, F.: Handbook of Philosophical Logic. Vol. II (1994), Vol. III (1996), Kluwer.

[6] Gottwald, S.: Mehrwertige Logik. Akademie-Verlag, Berlin, 1988. | MR

[7] Gottwald, S.: Fuzzy sets and fuzzy logic. Viehweg 1995.

[8] Hájek, P.: Fuzzy logic from the logical point of view. In SOFSEM’95: Theory and Practice of Informatics; Lecture Notes in Computer Science 1012 (Milovy, Czech Republic, 1995), M. Bartošek, J. Staudek, and J. Wiedermann, Eds., Springer-Verlag, pp. 31–49.

[9] Hájek, P.: Metamathematics of fuzzy logic. Vyjde v nakladatelství Kluwer.

[10] Keisler, H. J.: Logic with the quantifier “there are uncountably many”. Annals of Math. Logic 1 (1970), 1–93. | MR

[11] Keisler, H. J.: Probability quantifiers. In: (Barwise and Feferman, ed.) Model-theoretic logics, Springer-Verlag 1985, 579–596. | MR

[12] Krynicki, M., Mostowski, M., Szczerba, L. W.: Quantifiers: logic, models, computation. Vol. I. Kluwer 1995.

[13] Monk, D.: Mathematical logic. Springer-Verlag 1976. | MR | Zbl