Abstract
In the paper some consequence operations generated by Łukasiewicz's matrices are examined.
Similar content being viewed by others
References
J. Łoś, R. Suszko,Remarks on sentential logics,Indagationes Mathematicae, Vol. 20 (1958), pp. 177–183.
D. Makinson,A characterization of structural completeness of a structural consequence operation,Reports on Mathematical Logic No. 6 (1976), pp. 99–102.
R. McNaughton,A theorem about infinite-valued sentential logics,Journal of Symbolic Logic Vol. 16 (1951), pp. 1–13.
W. A. Pogorzelski,Structural completeness of the propositional calculus,Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, Vol. 19, No. 5 (1971), pp. 349–351.
W. A. Pogorzelski andT. Prucnal,Some remarks on the notion of completeness of the propositional calculus II,Reports on Mathematical Logic No. 1 (1974), pp. 15–20.
A. Rose,Formalisation du calcul propositionael implicatif a m-valeurs de Łukasiewicz,Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences No. 143 (1956), pp. 1263–1264.
M. Tokarz,On structural completeness of Lukasiewicz logics,Studia Logica Vol. 30 (1972), pp. 53–58.
M. Wajsberg,O aksjomatyzacji trójwartościowego rachunku zdań Łukasiewicza,Comptes Rendus des Séances de la Société des Sciences et des Letters de Varsovie Cl. III, 24 (1931), pp. 126–148.
P. Wojtylak,Some generalizations of Makinson's theorem on structural completeness,Reports on Mathematical Logic No. 7 (1976), pp. 107–110.
R. Wójcicki,The degree of completeness of the finite-valued propositional calculi,Prace z Logiki U. J. 7 (1972), pp. 77–84.
R. Wójcicki,Matrix approach in metodology of sentential calculi,Studia Logica Vol. 33 (1973), pp. 7–39.
R. Wójcicki,On matrix representations of consequence operations of Łukasiewicz sentential calculi,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 19 (1973) pp. 239–247.
J. Zygmunt,Direct products of consequence operations,Bulletin of the Section of Logic Polish Academy of Sciences, Vol. 1 No. 4 (1972), pp. 61–64.
Author information
Authors and Affiliations
Additional information
Allatum est die 6 Maii 1976
Rights and permissions
About this article
Cite this article
Wojtylak, P. On structural completeness of many-valued logics. Stud Logica 37, 139–147 (1978). https://doi.org/10.1007/BF02124799
Issue Date:
DOI: https://doi.org/10.1007/BF02124799