Skip to main content
Log in

The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

Studia Logica Aims and scope Submit manuscript

Abstract

Professor Ryszard Wójcicki once asked whether the degree of maximality of the consequence operationC determined by the theorems of the intuitionistic propositional logic and the detachment rule for the implication connective is equal to\(2^{2^\aleph 0} \)? The aim of the present paper is to give the affirmative answer to the question. More exactly, it is proved here that the degree of maximality ofC Ψ — theΨ — fragment ofC, is equal to\(2^{2^\aleph 0} \), for every

such that → εΨ.

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. S. Jaśkowski,Recherches sur le système de la logique intuitioniste,Actualités Scientifiques et Industrielles 393 (1936), pp. 58–61.

    Google Scholar 

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

    Google Scholar 

  3. D. Makinson,A characterization of structural completeness of a structural consequence operation,Reports on Mathematical Logic 6 (1976), pp. 99–102.

    Google Scholar 

  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. 19 (1971), pp. 349–351.

    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,Some remarks on the consequence operation in sentential logics,Fundamenta Mathematicae 68 (1970), pp. 269–279.

    Google Scholar 

  7. 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 

  8. A. Wroński,On cardinalities of matrices strongly adequate for the intuitionistic propositional logic,Reports on Mathematical Logic 3 (1974), pp. 67–72.

    Google Scholar 

  9. A. Wroński,The degree of completeness of some fragments of the intuitionistic propositional logic,Reports on Mathematical Logic 2 (1974), pp. 55–62.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dziobiak, W. The degrees of maximality of the intuitionistic propositional logic and of some of its fragments. Stud Logica 40, 195–198 (1981). https://doi.org/10.1007/BF01874708

Download citation

  • Received:

  • Issue Date:

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

Keywords

Navigation