Zagadnienie stopni maksymalnoścl. (Przegląd)
DOI:
https://doi.org/10.18778/0208-6107.03.04Abstract
Artykuł jest celnym przeglądem metod dowodzenia twierdzeń o stopniach maksymalności i rezultatów uzyskanych w tej dziedzinie do 1979 r .Literaturhinweise
Anderson J. G., The degree of completeness of Dummet LC and Thomas LCn, "The Journal of the London Mathematical Society", 3(1971), pp. 558-569. DOI: https://doi.org/10.1112/jlms/s2-3.3.558
Dzik W., Wroński A., Structural completeness of Gödel’s and Dummet’s propositional calculi, “Studia Logica", 32(1973), pp. 69-73. DOI: https://doi.org/10.1007/BF02123815
Grigolia R. S. , Algebraic analysis of Lukasiewicz-Tarski’s n-valued logical calculi ( in Russian), "Proceedings of Tbilisi University ", A 6-7, 149-150. Tbilisi 1973, pp. 121-132.
Łoś J., Suszko R., Remarks on sentential logics, "Indagationes Kathematicae", 20 (1958), pp. 177-103. DOI: https://doi.org/10.1016/S1385-7258(58)50024-9
Łukasiewicz J., Tarski A., Untersuchungen über den Aussagenkalkul, "Comptes-rendus des séances de la Societé des Sciences et de Lettres de Varsovie", Cl. III, 23 (1930), pp. 30-50.
Maduch H., On Lindenbaum’s algebras of finite implicational Łukasiewicz logics, "Bulletin of the Section of Logic ", 5(1976), No 1, pp. 29-32.
Makinson D., A characterization of structural completeness of a structural consequence operations, "Reports on Mathematical Logic", 6(1976), No 4, pp. 99-102.
Malinowski G., Degrees of maximality of Łukasiewicz - like sentential calculi, "Studia Logica", 36(1977), No 3, pp. 213-228. DOI: https://doi.org/10.1007/BF02121267
Malinowski G., Matrix representations for the dual counterparts of Łukasiewicz n-valued sentential calculi and the problem of their degrees of maximality, "Proceedings of the V-th International Symposium on Multiple-Valued Logics". Indiana University , Bloomington, May 1975, pp. 252-261.
Malinowski G., S-algebras and the degrees of maximality of three and four valued logics of Łukasiewicz, "Studia Logica” 33(1974), No 4, pp. 201-213. DOI: https://doi.org/10.1007/BF02123377
Malinowski G., S-algebras for n-valued sentential calculi of Łukasiewicz. The degrees o f maximality of some Łukasiewicz’s logics, [in:] Selected papers on Łukasiewicz sentential calculi, Ed. R. Wójcicki, G. Malinowski, Ossolineum 1977, pp. 149-159.
Malinowski G. , Spasowski M., Dual counterparts of Łukasiewicz’s sentential calculi, "Studia Logica", 33(1974), No 2, pp. 153-162. DOI: https://doi.org/10.1007/BF02120491
Moisil Gr. C ., Essais sur les logiques non chrysippiennes, Editions de l’Académie de la Republique Socialiste de Roumania, Bucarest 1972.
McNaughton, A theorem about infinite-valued sentential logic , "Journal of Symbolic Logic", 16(1951), pp. 1-13. DOI: https://doi.org/10.2307/2268660
Pogorzelski W. A., Structural completeness of the prepositional calculus, "Bulletin de l'Academié Polonaise des Sciences", Série de mathematiques, astronomiques et physiques , 19(1971), No 5, pp. 349-351.
Prucnal T., Proof of structural completeness of a certain class of implicative prepositional calculi, "Studia Logica", 32(1973), pp. 93-98. DOI: https://doi.org/10.1007/BF02123821
Rasiowa H., An algebraic approach to non-classical logics, North Holland Publishing Company, Amsterdam, Polish Scientific Publishers, Warszawa 1974.
Tarski A., Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, “Monatshefte für Mathematik und Physik", 37(1930), pp. 361-404. DOI: https://doi.org/10.1007/BF01696782
Tokarz M., Connections between some notions of completeness of structural prepositional calculi, "Studia Logica", 32(1973), pp. 77-89. DOI: https://doi.org/10.1007/BF02123818
Tokarz M., Degrees of maximality of three- and four-valued-RM-extensions, "Reports on Mathematical Logic", 9(1977), pp. 63-69.
Tokarz M., Maximality, post-completeness and structural completeness, "Technical Report", No 2 / sf, Institute of Philosophy and Sociology, Polish Academy of Sciences, Wrocław, February 1978.
Tokarz M., A remark on maximal matrix consequences, "Bulletin of the Section of Logic", 6(1977), No 4 , pp. 150-192.
Tokarz M., A strongly finite logic with infinite degree of maximality, "Studia Logica", 35(1976), No 4 , pp. 447-451. DOI: https://doi.org/10.1007/BF02123409
Wojtуlak P. , On structural completeness o f many-valued logics , "Studia Logica", 37(1978), No 2, pp. 139-147. DOI: https://doi.org/10.1007/BF02124799
Wójcicki R „ The degree o f completeness of the finite-valued prepositional calculi, Zeszyty Naukowe U.J., Prace z Logiki, z. 7 , Kraków 1972, pp. 77-85.
Wójcicki R., Dual counterparts of consequence operations, "Bulletin of the Section of Logic", 2(1973), No 1, pp. 55-57.
Wójcicki R., The logics stronger than three-valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness, "Studia Logica", 33(1974), No 2 , pp. 201-214.4 DOI: https://doi.org/10.1007/BF02120495
Wójcicki R., Matrix approach in methodology of sentential calculi, "Studia Logica", 32 (1973), pp. 7-37. DOI: https://doi.org/10.1007/BF02123806
Wójcicki R., Some remarks on the consequence operations in sentential logics, "Fundamenta Mathematicae", 58(1970), pp. 269-279. DOI: https://doi.org/10.4064/fm-68-3-269-279
Wójcicki R., Strongly finite sentential calculi, [in:] Selected papers of Łukasiewicz sentential calculi, Ed. R. Wójcicki , G. Malinowski, Ossolineum 1977, pp. 53-77.
Wójcicki R ., A theorem on the finiteness of the degree of maximality of the n-value Łukasiewicz logics,"Proceedings of the V-th international Symposium on Multiple-Valued Logica", Indiana University , Bloomington, May 1975, pp. 240-251.
Wroński A., On finitely based consequence operations, "Studia Logica", 35(1976), No 4, pp. 453-458. DOI: https://doi.org/10.1007/BF02123410
Downloads
Veröffentlicht
Ausgabe
Rubrik
Lizenz
Dieses Werk steht unter der Lizenz Creative Commons Namensnennung - Nicht-kommerziell - Keine Bearbeitungen 4.0 International.
Zitationsvorschlag
