Skip to main content
SpringerLink
Log in

On finite approximability of ψ-intermediate logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The aim of this note is to show (Theorem 1.6) that in each of the cases: ψ= {→, ∨ }, or {→, ∨, ∧ }, or {→, ∨, ℸ } there are uncountably many ψ-intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each ψ: either all ψ-intermediate logics are finitely approximate or there are uncountably many of them which lack the property.

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. J. Blok, 2 ℵ 0 varieties of Heyting algebras not generated by their finite members, Algebra Universalis, 7 (1977), pp. 115–117.

    Google Scholar 

  2. E. Capińska, On standard consequence operations in the implicationless language, Bulletin of the Section of Logic, Institute of Philosophy and Sociology of Polish Academy of Sciences 8 (1979), pp. 202–205.

  3. A. Diego, Sur les algebras de Hilbert, Collection de logique mathematique, Ser. A, fasc. 21, Paris, 1966.

  4. R. Harrop, The finite model property and subsystems of classical propositional calculus, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 5 (1959), pp. 29–32.

    Google Scholar 

  5. V. A. Jankov, Constructing a sequence of strongly independent superintuitionistic calculi, Doklady Akademii Nauk SSSR, 181 (1968), pp. 33–34 = Soviet Math. Dokl., 9 (1968), pp. 806–807.

    Google Scholar 

  6. V. A. Jankov, Conjunctively indecomposable formulas in propositional calculi, Izv. Akad. Nauk SSSR, Ser. Mat., 33 (1969), pp. 18–38 = Math. USSR Izv., 3 (1969), pp. 17–36.

    Google Scholar 

  7. A. V. Kuznetsov, V. Ja., Gerchiu, Superintuituionistic logics and finite approximability, Doklady Akademii Nauk SSSR, 195 (1970), pp. 1029–1032 = Soviet Math. Dokl., 11 (1970), pp. 1614–1619.

    Google Scholar 

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

    Google Scholar 

  9. A. Wroński, On reducts of intermediate logics, Bulletin of the Section of Logic, Institute of Philosophy and Sociology of Polish Academy of Sciences, 9 (1980), pp. 176–179.

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Section of Logic, Institute of Philosophy and Sociology Polish Academy of Sciences, 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. On finite approximability of ψ-intermediate logics. Stud Logica 41, 67–73 (1982). https://doi.org/10.1007/BF00373493

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation