Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
127--131
Opis fizyczny
Bibliogr. 11 poz.
Twórcy
autor
- UOOU, Pplk. Sochora 27, 170 00 Praha 7, Czech Republic, kamila.bendova@centrum.cz
Bibliografia
- [1] M. Baaz, H. Veith, Interpolation in fuzzy logic, Arch. Math. Log. 38 (1999), pp. 461–489.
- [2] M. Baaz, R. Zach, Compact propositional Gödel logics. Proc. 28th Int. Symb. Multiple-Valued Logic, 1998, pp. 108–113.
- [3] J. P. Cleave, The notion of logical consequence in the logic of inexact concepts. Zeitschr. Math. Logik Grunal. Math. 20 (1974), pp. 307–324.
- [4] M. Dummett, A propositional calculus with denumerable matrix. Journ. Symb. Logic 24 (1959), pp. 97–106.
- [5] K. Gödel, Zum intuitionischen Aussagenkalkul ¨ . Anzeiger der Akademie der Wissenschaften in Wien 69 (1932), pp. 65–66.
- [6] S. C. Kleene, Introduction to metamathematics. Van Norstrand Co. 1952
- [7] P. S. Krzystek, S. Zachorowski, Łukasiewicz logics do not have the interpolation property. Reports on Math. Logic 9 (1977), pp. 39–40.
- [8] J. Łukasiewicz, O logice trojwartosciowej. Ruch filozoficzny 5 (1920), pp. 169–171. (German translation Erkenntnis 5 (1935), English in Lukasiewicz selected works, 1970).
- [9] A. Urquhart, Many-valued logic, in: Gabbay and Guenther (eds.) Handbook of Philosophical Logic, vol. III, Reidel 1986, pp. 71–116.
- [10] A. Urquhart, Basic many-valued logic,. in: Gabbay and Guenther (eds.) Handbook of Philos. Logic, 2nd edition, vol. II, Kluwer 2001, pp. 249–296.
- [11] M. Wajsberg, Axiomatization of three-valued propositional calculus (Polish, German summary) R. Soc. Sci. Lett. Varsovic Cl. 3, 24 (1931), pp. 126–148.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0019-0098