Interpolation and three-valued logics

• Autorzy: Bendova K.
• Języki publikacji: EN
• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2005
• Tom: Nr 39
• Strony: 127--131
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Bendova K.

• UOOU, Pplk. Sochora 27, 170 00 Praha 7, Czech Republic,

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.