Skip to main content
SpringerLink
Log in

An example of strongly finite consequence operation with 2ℵ0 standard strengthenings

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Using ideas from Murskii [3], Tokarz [4] and Wroński [7] we construct some strongly finite consequence operation having 2%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than ℵ0?

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

Similar content being viewed by others

References

  1. W. Dziobiak,On strongly finite consequence operation,Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, 8 (1979), no. 2, pp. 87–94.

  2. J. Łoś, R. Suszko,Remarks on sentential logics,Indagationes Mathematicae 20 (1958), pp. 177–183.

    Google Scholar 

  3. V. L. Mursk,The existence, in the three-valued logics, of a closed class with a finite basis having no finite complete system of identities (in Russian), Dokl. Acad. Nauk SSSR, 163 (1965), pp. 815–818.

    Google Scholar 

  4. M. Tokarz,A strongly finite logic with infinite degree of maximality,Studia Logica 35 (1976), pp. 447–451.

    Google Scholar 

  5. R. Wójcicki,Matrix approach in methodology of sentential calculi,Studia Logica 32 (1973), pp. 7–37.

    Google Scholar 

  6. R. Wójcicki,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), pp. 201–214.

    Google Scholar 

  7. A. Wroński,On finitely based consequence operations,Studia Logica 35 (1976), pp. 453–458.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Nicholas Copernicus University, Toruń, Poland

    Wiesław Dziobiak

Authors
  1. Wiesław Dziobiak
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dziobiak, W. An example of strongly finite consequence operation with 2ℵ0 standard strengthenings. Stud Logica 39, 375–379 (1980). https://doi.org/10.1007/BF00713548

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation