| Title:
|
Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům (Czech) |
| Title:
|
Classical logic in context of its generalizations and Professor Fiala’s tilting at windmills (English) |
| Author:
|
Hájek, Petr |
| Author:
|
Sochor, Antonín |
| Language:
|
Czech |
| Journal:
|
Pokroky matematiky, fyziky a astronomie |
| ISSN:
|
0032-2423 |
| Volume:
|
43 |
| Issue:
|
1 |
| Year:
|
1998 |
| Pages:
|
39-45 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03-xx |
| . |
| Date available:
|
2010-12-11T16:01:34Z |
| Last updated:
|
2012-08-25 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/138473 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/139769 |
| . |
| Reference:
|
[1] Barwise, J.: Admissible sets and structures.Springer-Verlag 1975. Zbl 0316.02047, MR 0424560 |
| Reference:
|
[2] Ebbinghaus, H. D., Flum, J., Thomas, W.: Mathematical Logic.Springer-Verlag 1984. Zbl 0556.03001, MR 0736838 |
| Reference:
|
[3] Ebbinghaus, H. D., Flum, J.: Finite model theory.Springer-Verlag 1993. |
| Reference:
|
[4] Fiala, J.: Je elementární logika totéž co predikátová logika 1. řádu?.Pokroky matematiky, fyziky a astronomie 42 (1997), 127–133. |
| Reference:
|
[5] Gabbay, D., Guenther, F.: Handbook of Philosophical Logic.Vol. II (1994), Vol. III (1996), Kluwer. |
| Reference:
|
[6] Gottwald, S.: Mehrwertige Logik.Akademie-Verlag, Berlin, 1988. MR 1117450 |
| Reference:
|
[7] Gottwald, S.: Fuzzy sets and fuzzy logic.Viehweg 1995. |
| Reference:
|
[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. |
| Reference:
|
[9] Hájek, P.: Metamathematics of fuzzy logic.Vyjde v nakladatelství Kluwer. |
| Reference:
|
[10] Keisler, H. J.: Logic with the quantifier “there are uncountably many”.Annals of Math. Logic 1 (1970), 1–93. MR 0263616 |
| Reference:
|
[11] Keisler, H. J.: Probability quantifiers.In: (Barwise and Feferman, ed.) Model-theoretic logics, Springer-Verlag 1985, 579–596. MR 0819545 |
| Reference:
|
[12] Krynicki, M., Mostowski, M., Szczerba, L. W.: Quantifiers: logic, models, computation.Vol. I. Kluwer 1995. |
| Reference:
|
[13] Monk, D.: Mathematical logic.Springer-Verlag 1976. Zbl 0354.02002, MR 0465767 |
| . |
