Studia Logica

, Volume 37, Issue 2, pp 139–147 | Cite as

On structural completeness of many-valued logics

  • Piotr Wojtylak
Article

Abstract

In the paper some consequence operations generated by Łukasiewicz's matrices are examined.

Keywords

Mathematical Logic Computational Linguistic Structural Completeness Consequence Operation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. Łoś, R. Suszko,Remarks on sentential logics,Indagationes Mathematicae, Vol. 20 (1958), pp. 177–183.Google Scholar
  2. [2]
    D. Makinson,A characterization of structural completeness of a structural consequence operation,Reports on Mathematical Logic No. 6 (1976), pp. 99–102.Google Scholar
  3. [3]
    R. McNaughton,A theorem about infinite-valued sentential logics,Journal of Symbolic Logic Vol. 16 (1951), pp. 1–13.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    M. Tokarz,On structural completeness of Lukasiewicz logics,Studia Logica Vol. 30 (1972), pp. 53–58.Google Scholar
  8. [8]
    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.Google Scholar
  9. [9]
    P. Wojtylak,Some generalizations of Makinson's theorem on structural completeness,Reports on Mathematical Logic No. 7 (1976), pp. 107–110.Google Scholar
  10. [10]
    R. Wójcicki,The degree of completeness of the finite-valued propositional calculi,Prace z Logiki U. J. 7 (1972), pp. 77–84.Google Scholar
  11. [11]
    R. Wójcicki,Matrix approach in metodology of sentential calculi,Studia Logica Vol. 33 (1973), pp. 7–39.Google Scholar
  12. [12]
    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.Google Scholar
  13. [13]
    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.Google Scholar

Copyright information

© Warzawa 1978

Authors and Affiliations

  • Piotr Wojtylak
    • 1
  1. 1.Institute of MathematicsSilesian UniversityKatowice

Personalised recommendations