An algebra of subsets for join-semilattices with unit

Bulletin of the Section of Logic 13 (1):1-3 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An algebra of subsets for join-semilattices with unit.Bogus law Wolniewicz - 1984 - Bulletin of the Section of Logic 13 (1):1-3.
A Topology For Logical Space.Boguslaw Wolniewicz - 1984 - Bulletin of the Section of Logic 13 (4):255-258.
Entailments and Independence in Join-Semilattices.B. Wolniewicz - 1989 - Bulletin of the Section of Logic 18:1.
is a set B with Boolean operations a∨ b (join), a∧ b (meet) and− a (complement), partial ordering a≤ b defined by a∧ b= a and the smallest and greatest element, 0 and 1. By Stone's Representation Theorem, every Boolean algebra is isomorphic to an algebra of subsets of some nonempty set S, under operations a∪ b, a∩ b, S− a, ordered by inclusion, with 0=∅. [REVIEW]Mystery Of Measurability - 2006 - Bulletin of Symbolic Logic 12 (2).
Ideals in BCK-algebras which are lower semilattices.Marek Palasinski - 1981 - Bulletin of the Section of Logic 10 (1):48-50.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
1. Preamble.In Join-Semilattices - 1989 - Bulletin of the Section of Logic 18 (1):2-5.
The spectrum of maximal independent subsets of a Boolean algebra.J. Donald Monk - 2004 - Annals of Pure and Applied Logic 126 (1-3):335-348.
1. Preliminaries.on Atomic Join-Semilattices - 1989 - Bulletin of the Section of Logic 18 (3):105-111.
A model in which every Boolean algebra has many subalgebras.James Cummings & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (3):992-1004.
On the free implicative semilattice extension of a Hilbert algebra.Sergio A. Celani & Ramon Jansana - 2012 - Mathematical Logic Quarterly 58 (3):188-207.
Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
The universal group of a Heyting effect algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407 - 424.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

A topology for logical space.Bogus law Wolniewicz - 1984 - Bulletin of the Section of Logic 13 (4):255-258.
Discreteness of logical space.Bogus law Wolniewicz - 1986 - Bulletin of the Section of Logic 15 (4):132-135.

Add more citations

References found in this work

No references found.

Add more references