Looking at Separation Algebras with Boolean BI-eyes
نویسندگان
چکیده
In this paper, we show that the formulæ of Boolean BI cannot distinguish between some of the different notions of separation algebra found in the literature: partial commutative monoids, either cancellative or not, with a single unit or not, all define the same notion of validity. We obtain this result by the careful study of the specific properties of the counter-models that are generated by tableaux proof-search in Boolean BI.
منابع مشابه
On incomparability and related cardinal functions on ultraproducts of Boolean algebras
Let C denote any of the following cardinal characteristics of Boolean algebras: incomparability, spread, character, π-character, hereditary Lindelöf number, hereditary density. It is shown to be consistent that there exists a sequence 〈Bi : i < κ〉 of Boolean algebras and an ultrafilter D on κ such that
متن کاملDepth+ and Length+ of Boolean Algebras
Suppose κ = cf(κ), λ > cf(λ) = κ and λ = λ. We prove that there exist a sequence 〈Bi : i < κ〉 of Boolean algebras and an ultrafilterD on κ so that λ = ∏ i<κ Depth(Bi)/D < Depth ( ∏ i<κ Bi/D) = λ . An identical result holds also for Length. The proof is carried in ZFC, and it holds even above large cardinals. 2010 Mathematics Subject Classification. Primary: 06E05, 03G05. Secondary: 03E45.
متن کاملEquational compactness of bi-frames and projection algebras
We generalize D. Kelly’s and K.A. Nauryzbaev’s results of 1-variable and 2-variable equational compactness of complete distributive lattices satisfying the infinite distributive law and its dual (“bi-frames”) to objects similar to monadic algebras (which we will call projection algebras). This will lead us in particular to an example of bi-frame that is not 3-variable equationally compact, even...
متن کاملAn Algebraic Glimpse at Bunched Implications and Separation Logic
We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono’s algebraic approach to substructural logics. We propose generalized BI algebras (GBI-algebras) as a common framework for algebras arising via “declarative resource reading”, intuitionistic generalizations of relation algebras and arrow logics and the distributive Lambek cal...
متن کاملFilter theory in MTL-algebras based on Uni-soft property
The notion of (Boolean) uni-soft filters in MTL-algebras is introduced, and several properties of them are investigated. Characterizations of (Boolean) uni-soft filters are discussed, and some (necessary and sufficient) conditions for a uni-soft filter to be Boolean are provided. The condensational property for a Boolean uni-soft filter is established.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014