Skip to main content
SpringerLink
Log in

Matrix approach in methodology of sentential calculi

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  1. S. L. Blomm, J. D. Brown andR. Suszko:Some theorems on abstract logics. “Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques”, vol. 19 (1970), pp. 333–335.

    Google Scholar 

  2. S. L. Brown andR. Suszko:Abstract logics “Dissertationes Mathematicae” (Rozprawy Matematyczne), to appear.

  3. P. M. Cohn:Universal algebra. Harper and Row, Publishers, New York, Evanston, and London 1965.

    Google Scholar 

  4. J. M. Dunn andR. Mayer:Algebraic completeness results for Dummet's LC and its extension. “Zeitschrift für mathematische Logik und Grundlagen der Mathematik”, vol. 17 (1971), pp. 225–230.

    Google Scholar 

  5. R. Harrop:Some structure results for propositional calculi, The Journal of Symbolic Logic, vol. 30 (1965), pp. 271–279.

    Google Scholar 

  6. R. Harrop:Some form of models of propositional calculi, in: H. A. Schmidt, K. Schütte and H. J. Thiele (eds.):Contributions to Mathematical Logic, North-Holland Publish. Co., Amsterdam 1968.

    Google Scholar 

  7. J. Kotas:Logical systems with implications and theories of quasi-implicative algebras, Institute of Physics, Nicholas Copernicus University, Preprint no 148, Toruń 1971.

    Google Scholar 

  8. J. Kotas andA. Pieczkowski:Allgemeine logische und mathematische Theorien. “Zeitschrift für mathematische Logik und Grundlagen der Mathematik”, vol. 16 (1970), pp. 353–376.

    Google Scholar 

  9. J. Łoś:O matrycach logicznych, Travaux de la Sociéte des Sciences et des Letteres de Wrocŀaw, Seria B, No 19, Wrocŀaw 1949.

  10. J. Łoś:The algebraic treatment of the methodology of elementary deductive systems. “Studia Logica”, vol. 2 (1955), pp. 151–212.

    Google Scholar 

  11. J. Łoś andR. Suszko:Remarks on sentential logics. “Indagationes Mathematicae”, vol. 20 (1958), pp. 177–183.

    Google Scholar 

  12. J. Łukasiewicz andA. Tarski:Untersuchungen über den Aussagenkalkül. “Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie”, vol. 23 (1930), pp. 30–50.

    Google Scholar 

  13. W. A. Pogorzelski:Structural Completeness of the Propositional Calculus. “Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques”, vol. 19 (1971), no 5, pp. 439–351.

    Google Scholar 

  14. W. A. Pogorzelski:Kilka uwag o pojęciu zupelności rachunku zdań. I. “Studia Logica”, 23 (1968), pp. 43–58.

    Google Scholar 

  15. T. Prucnal:On structural completeness of some pure implicational propositional calculi. “Studia Logica”, vol. 30 (1972).

  16. T. Prucnal:Structural Completeness of Lewis's System S5. “Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques and physiques”, vol. 20, no 2 (1972), pp. 101–103.

    Google Scholar 

  17. H. Rasiowa:Algebraic approach to non-classical logics. PWN in print.

  18. H. Rasiowa andR. Sikorski:The mathematics of metamathematics. Warsaw, PWN, 1968.

    Google Scholar 

  19. T. Smiley:The indenpendence of connectives. “Journal of Symbolic Logic”, 27 (1962), pp. 426–436.

    Google Scholar 

  20. R. Suszko:O analitycznych aksjomatach i logicznych regulach wnioskowania (On analytic axioms and logical rules of inference). “The Poznań Society of Friends of Sciences, Philosophical Section”, vol. 5 (1949), pp. 1–30.

    Google Scholar 

  21. R. Suszko:Formalna teoria wartości logicznych (Formal theory of logical values I). “Studia Logica”, vol. 6 (1957), pp. 145–231.

    Google Scholar 

  22. R. Suszko:Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations, “Studia Logica”, 11 (1961), pp. 185–214.

    Article  Google Scholar 

  23. A. Tarski:Über einige fundamentalen Begriffe der Metamathematik. “Comptes rendus des séances de la Société Sciences et des Lettres de Varsovie”, Cl. III, 20 (1930), pp. 22–29.

    Google Scholar 

  24. A. Tarski:Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. “Monantshefte für Mathematik und Physic 37” (1930), pp. 361–404.

  25. A. Tarski:Grundzüge des Systemenkalküls, I and II. “Fundamenta Mathematicae”, vol. 25 (1935), pp. 503–526 and vol. 26 (1935), pp. 283–301.

    Google Scholar 

  26. A. Tarski:Logic, Semantics, Metamathematics. Oxford (1956), at the Clarendon Press.

    Google Scholar 

  27. M. Tokarz:On structural completeness of Łukasiewicz's logics. “Studia Logica”, vol. 30 (1972), pp. 53–58.

    Google Scholar 

  28. M. Tokarz:Invariant systems of Łukasiewicz calculi, to appear in “Zeitschrift für mathematische Logik und Grundlagen der Mathematik”.

  29. M. Tokarz andR. Wójcicki:The problem of reconstructability of propositional calculi. “Studia Logica”, vol. 28 (1971), pp. 119–129.

    Google Scholar 

  30. D. Ulrich:Decidability results for some classes of propositional calculi (abstract). “Journal of Symbolic Logic”, vol. 35 (1970), pp. 353–354.

    Google Scholar 

  31. Wang Hao:Note on rules of inference. “Zeitschrift für mathematische Logik und Grundlagen der Mathematik”, vol. 11 (1965).

  32. R. Wójcicki:Logical matrices strongly adequate for structural sentential calculi. “Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques”, vol. 6 (1969), pp. 333–335.

    Google Scholar 

  33. R. Wójcicki:Some remarks on the consequence operation in sentential logics. “Fundamenta Mathematicae”, vol. 68 (1970), pp. 269–279.

    Google Scholar 

  34. R. Wójcicki:On reconstructability of the classical propositional logic in intuitionistic logic. “Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques”, vol. 18 (1970), no 8, pp. 421–422.

    Google Scholar 

  35. R. Wójcicki:On matrix representations of consequence operations of Łukasiewicz's sentential calculi, “Zeitschrift für mathematische Logik und Grundlagen der Mathematik”, to appear.

  36. R. Wójcicki:The degree of completeness of the finitely valued propositional calculi. “Zeszyty Naukowe UJ, Prace z logiki”, zeszyt 6, Kraków 1971.

  37. W. Żandarowska:O związkach pomiędzy wynikaniem, sprzecznością i zupeŀnością (Connections between consequence, inconsistency and completeness). “Studia Logica”, vol. 18 (1966), pp. 165–175.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Philosophy and Sociology, Section of Logic, Polish Academy of Sciences, Wrocŀaw

    Ryszard Wójcicki

Authors
  1. Ryszard Wójcicki
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 27 Maii 1972

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wójcicki, R. Matrix approach in methodology of sentential calculi. Stud Logica 32, 7–37 (1973). https://doi.org/10.1007/BF02123806

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02123806

Keywords

Search

Navigation