Skip to main content
SpringerLink
Log in

On decidable consequence operators

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.

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.

Similar content being viewed by others

References

  1. Ju. L. Eršov, Problemy razrešimosti i konstruktivnye modeli, “Nauka”, Moskva 1980.

    Google Scholar 

  2. A. W. Jankowski, An alternative characterization of elementary logic, Bulletin de l'Academie Polonaise des Sciences, Serie des Sciences Mathematiques, Vol. XXX, No. 1–2, 1982, pp. 9–13.

    Google Scholar 

  3. A. W. Jankowski, A characterization of the closed subsets of an 〈a, δ〉-closure space using an 〈a, δ〉-base, Bulletin de l'Academie Polonaise des Sciences, Serie des Sciences Mathématiques, Vol. XXX, No. 1–2, 1982, pp. 1–8.

    Google Scholar 

  4. A. W. Jankowski, Universality of the closure space of filters in algebra of all subsets, Studia Logica, XLVI, 1 (1985), pp. 3–11.

    Google Scholar 

  5. A. W. Jankowski, Conjunctions in closure spaces, Studia Logica XLIII, 4 (1984) pp. 341–351.

    Google Scholar 

  6. A. W.Jankowski, Disjunctions in closure spaces, Studia Logica XLIV, 1 pp. 13–20.

  7. A. W. Jankowski, Galois Structures, Studia Logica XLIV, 2 (1985), pp. 1–15.

    Google Scholar 

  8. A. W. Jankowski, Recursive closure spaces, unpublished contributed lecture from Logic Colloquium 81, Marseille (France), see abstract in Journal of Symbolic Logic, Vol. 48, No. 4, 1983, pp. 1220.

    Google Scholar 

  9. A. Mostowski, A. Tarski, Boolesche Ringe mit georducter Basis, Fundamenta Mathematicae 32 (1939) pp. 69–86.

    Google Scholar 

  10. H. Rasiowa, An Algebraic Approach to Non-Classical Logics, PWN-North Holland P.C. 1974.

  11. H. Rasiowa, R. Sikorski, The Mathematics of Metamathematics, PWN., Warszawa 1970.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, University of Warsaw, Poland

    Jarosław Achinger & Andrzej W. Jankowski

Authors
  1. Jarosław Achinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej W. Jankowski
    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

Achinger, J., Jankowski, A.W. On decidable consequence operators. Stud Logica 45, 415–424 (1986). https://doi.org/10.1007/BF00370274

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation