Skip to main content
SpringerLink
Log in

Q-ultrafilters and normal ultrafilters in B-algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The first part of the paper deals with some subclasses of B-algebras and their applications to the semantics of SCI B , the Boolean strengthening of the sentential calculus with identity (SCI). In the second part a generalization of the McKinsey-Tarski construction of well-connected topological Boolean, algebras to the class of B-algebras is given.

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. S. L. Bloom, On regular congruences, Colloquium Mathematicum 29 (1974) pp. 25–29.

    Google Scholar 

  2. S. L. Bloom and R. Suszko, Semantics for the sentential calculus with identity, Studia Logica 28 (1971), pp. 77–81.

    Google Scholar 

  3. S. L. Bloom and R. Suszko, Investigations into the sentential calculus with identity, Notre Dame Journal of formal Logic 3 (1972), pp. 289–308.

    Google Scholar 

  4. R. I. Goldblatt, Metamathematics of modal logic, Reports on Mathematical Logic 6 (1976), pp. 41–77.

    Google Scholar 

  5. E. V. Huntington, Postulates for assertion conjunction, negation and equality, Proceedings of the American Academy of Art and Sciences 72 (1937), pp. 1–44.

    Google Scholar 

  6. E. J. Lemmon, An extension algebra and the modal system T. Notre Dame Journal of Formal Logic 1 (1960), pp. 3–12.

    Google Scholar 

  7. J. McKinsey and A. Tarski, The algebra of topology, Annals of Mathematics 45 (1944), pp. 141–191.

    Google Scholar 

  8. H. Rasiowa and R. Sikorski, The Mathematics of the Metamathematics, PWN Warsaw 1963.

    Google Scholar 

  9. R. Sikorski, Boolean Algebras, Berlin-Göttingen-Heiderberg-New York 1964.

  10. R. Suszko, Identity connective and modality, Studia Logica 27 (1971), pp. 7–39.

    Google Scholar 

  11. R. Suszko, Abolition of the Fregean axiom, Lecture Notes in Mathematics 453, Springer-Verlag (1975), pp. 169–239.

  12. R. Suszko, A note on the least Boolean theory in SCI, Bulletin of the Section of Logic 4 (1975), pp. 136–137.

    Google Scholar 

  13. R. Suszko, Equational logic and theories in sentential languages, Colloquium Mathematicum 29 (1974), pp. 19–23.

    Google Scholar 

  14. B. Tembrowski, The theory of Boolean algebras with an additional binary operation, Studia Logica 4 (1983), pp. 389–406.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Pedagogical University, Siedlce, Poland

    Bronisław Tembrowski

Authors
  1. Bronisław Tembrowski
    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

Tembrowski, B. Q-ultrafilters and normal ultrafilters in B-algebras. Stud Logica 45, 167–179 (1986). https://doi.org/10.1007/BF00373272

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation