Online research in philosophy

In classes of algebras such as lattices, groups, and rings, there are finite algebras which individually generate quasivarieties which are not finitely axiomatizable (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras. Moreover, we show that the lattice join of two finitely axiomatizable quasivarieties, each generated by a finite Heyting or topological Boolean algebra, respectively, need not be finitely axiomatizable. Finally, we solve (...) problem 4 asked in Rautenberg [10]. (shrink)

Given an admissible indexing φ of the countable atomless Boolean algebra B, an automorphism F of B is said to be recursively presented (relative to φ) if there exists a recursive function $p \in \operatorname{Sym}(\omega)$ such that F ⚬ φ = φ ⚬ p. Our key result on recursiveness: Both the subset of $\operatorname{Aut}(\mathscr{B})$ consisting of all those automorphisms which are recursively presented relative to some indexing, and its complement, the set of all "totally nonrecursive" automorphisms, are uncountable. (...) This arises as a consequence of the following combinatorial investigations: (1) A comparison of the cycle structures of f and f̄, where f is a permutation of some free basis of B and f̄ is the automorphism of B induced by f. (2) An explicit description of the permutations of ω whose conjugacy classes in $\operatorname{Sym}(\omega)$ are (a) uncountable, (b) countably infinite, and (c) finite. (shrink)

De Morgan's Formal Logic, which was published on virtually the same day in 1847 as Boole's The Mathematical Analysis of Logic, contains a logic of complex terms (LCT) which has been sadly neglected. It is surprising to find that LCT contains almost a full theory of Boolean algebra. This paper will: (1) provide some background to LCT; (2) outline its main features; (3) point out some gaps in it; (4) compare it with Boole's algebra; (5) show that (...) it is a lattice-theoretical formulation of Boolean algebra; (6) discuss some issues of historical priority; and (7) conclude with the puzzle of LCT's lack of influence. (shrink)

Our results concern the existence of a countable extension U of the countable atomless Boolean algebra B such that U is a "nonconstructive" extension of B. It is known that for any fixed admissible indexing φ of B there is a countable nonconstructive extension U of B (relative to φ). The main theorem here shows that there exists an extension U of B such that for any admissible indexing φ of B, U is nonconstructive (relative to φ). Thus, (...) in this sense U is a countable totally nonconstructive extension of B. (shrink)

We show that it is consistent with ZFC (relative to large cardinals) that every infinite Boolean algebra B has an irredundant subset A such that 2 |A| = 2 |B| . This implies in particular that B has 2 |B| subalgebras. We also discuss some more general problems about subalgebras and free subsets of an algebra. The result on the number of subalgebras in a Boolean algebra solves a question of Monk from [6]. The paper (...) is intended to be accessible as far as possible to a general audience, in particular we have confined the more technical material to a "black box" at the end. The proof involves a variation on Foreman and Woodin's model in which GCH fails everywhere. (shrink)

In this note we shall describe the lattice of the congruences on a balanced Ockham algebra with the pseudocomplementation whose quotient algebras are boolean. This is an extension of the result obtained by Rodrigues and Silva who gave a description of the lattice of congruences on an Ockham algebra whose quotient algebras are boolean.

In the paper we build up the ontology of Leśniewski’s type for formalizing synthetic propositions. We claim that for these propositions an unconventional square of opposition holds, where a, i are contrary, a, o (resp. e, i) are contradictory, e, o are subcontrary, a, e (resp. i, o) are said to stand in the subalternation. Further, we construct a non-Archimedean extension of Boolean algebra and show that in this algebra just two squares of opposition are formalized: conventional (...) and the square that we invented. As a result, we can claim that there are only two basic squares of opposition. All basic constructions of the paper (the new square of opposition, the formalization of synthetic propositions within ontology of Leśniewski’s type, the non-Archimedean explanation of square of opposition) are introduced for the first time. (shrink)

Mary Everest, Boole's wife, claimed after the death of her husband that his logic had a psychological, pedagogical, and religious origin and aim rather than the mathematico-logical ones assigned to it by critics and scientists. It is the purpose of this paper to examine the validity of such a claim. The first section consists of an exposition of the claim without discussing its truthfulness; the discussion is left for the sections 2?4, in which some arguments provided by the examination of (...) the inner consistency of Mary Everest's writings, Boole's own writings, and other sources, lead to the conclusion that there are sound reasons to accept Mary Everest's viewpoint. (shrink)

Abstract. Let REL(O*E) be the relation algebra of binary relations defined on the Boolean algebra O*E of regular open regions of the Euclidean plane E. The aim of this paper is to prove that the canonical contact relation C of O*E generates a subalgebra REL(O*E, C) of REL(O*E) that has infinitely many elements. More precisely, REL(O*,C) contains an infinite family {SPPn, n ≥ 1} of relations generated by the relation SPP (Separable Proper Part). This relation can be (...) used to define point-free concept of connectedness that for the regular open regions of E coincides with the standard topological notion of connectedness, i.e., a region of the plane E is connected in the sense of topology if and only if it has no separable proper part. Moreover, it is shown that the contact relation algebra REL(O*E, C) and the relation algebra REL(O*E, NTPP) generated by the non-tangential proper parthood relation NTPP, coincide. This entails that the allegedly purely topological notion of connectedness can be defined in mereological terms. (shrink)

We analyze Zorn's Lemma and some of its consequences for Boolean algebras in a constructive setting. We show that Zorn's Lemma is persistent in the sense that, if it holds in the underlying set theory, in a properly stated form it continues to hold in all intuitionistic type theories of a certain natural kind. (Observe that the axiom of choice cannot be persistent in this sense since it implies the law of excluded middle.) We also establish the persistence of (...) some familiar results in the theory of (complete) Boolean algebras--notably, the proposition that every complete Boolean algebra is an absolute subretract. This (almost) resolves a question of Banaschewski and Bhutani as to whether the Sikorski extension theorem for Boolean algebras is persistent. (shrink)

The article deals with compatible families of Boolean algebras. We define the notion of a partial Boolean algebra in a broader sense (PBA(bs)) and then we show that there is a mutual correspondence between PBA(bs) and compatible families of Boolean algebras (Theorem (1.8)). We examine in detail the interdependence between PBA(bs) and the following classes: partial Boolean algebras in the sense of Kochen and Specker (§ 2), ortholattices (§ 3, § 5), and orthomodular posets (§ (...) 4), respectively. (shrink)

of monadic or relational predicate calculus (Fa, Gb, Rab, Hcd, etc.). • The Boolean Algebra BL set-up by such a language will be such that: – BL will have 2 n states (corresponding to the state descriptions of L) – BL will contain 2 2n propositions, in total. ∗ This is because each proposition p in BL is equivalent to a disjunction of state descriptions. Thus, each subset of the set of..

For a complete theory of Boolean algebras T, let MT denote the class of countable models of T. For B1, B2 ∈ MT, let B1 ≤ B2 mean that B1 is elementarily embeddable in B2. Theorem 1. For every complete theory of Boolean algebras T, if T ≠ Tω, then $\langle M_T, \leq\rangle$ is well-quasi-ordered. ■ We define Tω. For a Boolean algebra B, let I(B) be the ideal of all elements of the form a + (...) s such that $B\upharpoonright a$ is an atomic Boolean algebra and $B\upharpoonright s$ is an atomless Boolean algebra. The Tarski derivative of B is defined as follows: B(0) = B and B(n + 1) = B(n)/I(B(n)). Define Tω to be the theory of all Boolean algebras such that for every n ∈ ω, B(n) ≠ {0}. By Tarski [1949], Tω is complete. Recall that $\langle A, \leq\rangle$ is a partial well-quasi-ordering, if it is a partial quasi-ordering and for every $\{a_i\mid i \in \omega\} \subseteq A$ , there are $i < j < \omega$ such that ai ≤ aj. Theorem 2. $\langle M_{T_\omega}, \leq\rangle$ contains a subset M such that the partial orderings $\langle M, \leq \upharpoonright M \rangle$ and $\langle\mathscr{P}(\omega), \subseteq\rangle$ are isomorphic. ■ Let M'0 denote the class of all countable Boolean algebras. For B1, B2 ∈ M'0, let B1 ≤' B2 mean that B1 is embeddable in B2. Remark. $\langle M'_0, \leq'\rangle$ is well-quasi-ordered. ■ This follows from Laver's theorem [1971] that the class of countable linear orderings with the embeddability relation is well-quasi-ordered and the fact that every countable Boolean algebra is isomorphic to a Boolean algebra of a linear ordering. (shrink)

We show, roughly speaking, that it requires ω iterations of the Turing jump to decode nontrivial information from Boolean algebras in an isomorphism invariant fashion. More precisely, if α is a recursive ordinal, A is a countable structure with finite signature, and d is a degree, we say that A has αth-jump degree d if d is the least degree which is the αth jump of some degree c such there is an isomorphic copy of A with universe ω (...) in which the functions and relations have degree at most c. We show that every degree d ≥ 0 (ω) is the ωth jump degree of a Boolean algebra, but that for $n no Boolean algebra has nth-jump degree $\mathbf{d} > 0^{(n)}$ . The former result follows easily from work of L. Feiner. The proof of the latter result uses the forcing methods of J. Knight together with an analysis of various equivalences between Boolean algebras based on a study of their Stone spaces. A byproduct of the proof is a method for constructing Stone spaces with various prescribed properties. (shrink)

It is proved that the following conditions are equivalent: (a) there exists a complete, atomless, σ-centered Boolean algebra, which does not contain any regular, atomless, countable subalgebra, (b) there exists a nowhere dense ultrafilter on ω. Therefore, the existence of such algebras is undecidable in ZFC. In "forcing language" condition (a) says that there exists a non-trivial σ-centered forcing not adding Cohen reals.

In this paper we will prove that ifF is a filter of a free Boolean algebra such that the minimal cardinality of the set of generators ofF is an uncountable regular cardinal or a singular cardinal with uncountable cofinality thenF is freely generated.

Assume that all algebras are atomless. (1) $Spind(A x B) = Spind(A) \cup Spind(B)$ . (2) $(\prod_{i\inI}^{w} = {\omega} \cup \bigcup_{i\inI}$ $Spind(A_{i})$ . Now suppose that $\kappa$ and $\lambda$ are infinite cardinals, with $kappa$ uncountable and regular and with $\kappa \textless \lambda$ . (3) There is an atomless Boolean algebra A such that $\mathfrak{u}(A) = \kappa$ and $i(A) = \lambda$ . (4) If $\lambda$ is also regular, then there is an atomless Boolean algebra A such that (...) $t(A) = \mathfrak{s}(A) = \kappa$ and $\mathfrak{a}(A) = \lambda$ . All results are in ZFC, and answer some problems posed in Monk [01] and Monk [ $\infty$ ]. (shrink)

THEOREM 1. (⋄ ℵ 1 ) If B is an infinite Boolean algebra (BA), then there is B 1 such that $|\operatorname{Aut} (B_1)| \leq B_1| = \aleph_1$ and $\langle B_1, \operatorname{Aut} (B_1)\rangle \equiv \langle B, \operatorname{Aut}(B)\rangle$ . THEOREM 2. (⋄ ℵ 1 ) There is a countably compact logic stronger than first-order logic even on finite models. This partially answers a question of H. Friedman. These theorems appear in §§ 1 and 2. THEOREM 3. (a) (⋄ ℵ 1 (...) ) If B is an atomic ℵ 1 -saturated infinite BA, ψ ε L ω 1ω and $\langle B, \operatorname{Aut} (B)\rangle \models\psi$ then there is B 1 such that $|\operatorname{Aut}(B_1)| \leq |B_1| = \aleph_1$ and $\langle B_1, \operatorname{Aut}(B_1)\rangle\models\psi$ . In particular if B is 1-homogeneous so is B 1 . (b) (a) holds for B = P(ω) even if we assume only CH. (shrink)

Let B be a superatomic Boolean algebra (BA). The rank of B (rk(B)), is defined to be the Cantor Bendixon rank of the Stone space of B. If a ∈ B - {0}, then the rank of a in B (rk(a)), is defined to be the rank of the Boolean algebra $B b \upharpoonright a \overset{\mathrm{def}}{=} \{b \in B: b \leq a\}$ . The rank of 0 B is defined to be -1. An element a ∈ (...) B - {0} is a generalized atom $(a \in \widehat{At}(B))$ , if the last nonzero cardinal in the cardinal sequence of B $\upharpoonright$ a is 1. Let a,b $\in\widehat{At}$ (B). We denote a ∼ b, if rk(a) = rk(b) = rk(a · b). A subset H $\subseteq \widehat{At}$ (B) is a complete set of representatives (CSR) for B, if for every a $\in \widehat{At}$ (B) there is a unique h ∈ H such that h ∼ a. Any CSR for B generates B. We say that B is canonically well-generated (CWG), if it has a CSR H such that the sublattice of B generated by H is well-founded. We say that B is well-generated, if it has a well-founded sublattice L such that L generates B. THEOREM 1. Let B be a Boolean algebra with cardinal sequence $\langle\aleph_0: i . If B is CWG, then every subalgebra of B is CWG. A superatomic Boolean algebra B is essentially low (ESL), if it has a countable ideal I such that rk(B/I) ≤ 1. Theorem 1 follows from Theorem 2.9, which is the main result of this work. For an ESL BA B we define a set F B of partial functions from a certain countably infinite set to ω (Definition 2.8). Theorem 2.9 says that if B is an ESL Boolean algebra, then the following are equivalent. (1) Every subalgebra of B is CWG; and (2) F B is bounded. THEOREM 2. If an ESL Boolean algebra is not CWG, then it has a subalgebra which is not well-generated. (shrink)

Suppose $D$ is an ultrafilter on $\kappa$ and $\lambda^\kappa = \lambda$. We prove that if ${\bf B}_i$ is a Boolean algebra for every $i.

It is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.

In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem claiming that in a Boolean algebra B, the truth of a prenex Σn-formula whose parameters ai partition B, can be determined by finitely many conditions built from the first entry of Tarski invariant T(ai)'s, n-characteristic D(n, ai)'s and the quantities S(ai, l) and S'(ai, l) for $l < n$. Then we derive two important theorems. One (...) claims that for any Boolean algebras A and B, an embedding of A into B preserving D(n, a) for all a ∈ A is a Σn-extension. The other claims that the theory of n-separable Boolean algebras admits elimination of quantifiers in a simple definitional extension of the language of Boolean algebras. Finally we translate these results into the language of commutative regular rings. (shrink)

Let ${\mathbb{BRL}}$ denote the variety of commutative integral bounded residuated lattices (bounded residuated lattices for short). A Boolean retraction term for a subvariety ${\mathbb{V}}$ of ${\mathbb{BRL}}$ is a unary term t in the language of bounded residuated lattices such that for every ${{\bf A} \in \mathbb{V}, t^{A}}$ , the interpretation of the term on A, defines a retraction from A onto its Boolean skeleton B(A). It is shown that Boolean retraction terms are equationally definable, in the sense (...) that there is a variety ${\mathbb{V}_{t} \subsetneq \mathbb{BRL}}$ such that a variety ${\mathbb{V} \subsetneq \mathbb{BRL}}$ admits the unary term t as a Boolean retraction term if and only if ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ . Moreover, the equation s(x) = t(x) holds in ${\mathbb{V}_{s} \cap \mathbb{V}_{t}}$ . The radical of ${{\bf A} \in \mathbb{BRL}}$ , with the structure of an unbounded residuated lattice with the operations inherited from A expanded with a unary operation corresponding to double negation and a a binary operation defined in terms of the monoid product and the negation, is called the radical algebra of A. To each involutive variety ${\mathbb{V} \subseteq \mathbb{V}_{t}}$ is associated a variety ${\mathbb{V}^{r}}$ formed by the isomorphic copies of the radical algebras of the directly indecomposable algebras in ${\mathbb{V}}$ . Each free algebra in such ${\mathbb{V}}$ is representable as a weak Boolean product of directly indecomposable algebras over the Stone space of the free Boolean algebra with the same number of free generators, and the radical algebra of each directly indecomposable factor is a free algebra in the associated variety ${\mathbb{V}^{r}}$ , also with the same number of free generators.A hierarchy of subvarieties of ${\mathbb{BRL}}$ admitting Boolean retraction terms is exhibited. (shrink)

We show that there is a computable Boolean algebra B and a computably enumerable ideal I of B such that the quotient algebra B/I is of Cantor-Bendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even though Feiner's construction yields a Boolean algebra of infinite Cantor-Bendixson rank.

A Boolean algebra B is said to be openly generated if {A: A ≤rc B, |A| = ℵ0} includes a club subset of [ B]ℵ0 . We show: (V = L). For any cardinal κ there exists an L∞κ-free Boolean algebra which is not openly generated (Proposition 4.1). (MA+(σ-closed)). Every L∞ℵa -free Boolean algebra is openly generated (Theorem 4.2). The last assertion follows from a characterization of openly generated Boolean algebras under MA+(σ-closed) (Theorem (...) 3.1). Using this characterization we also prove the independence of problem 7 in Scepin [15] (Proposition 4.3 and Theorem 4.4). (shrink)

A variety V of Boolean algebras with operators is singleton-persistent if it contains a complex algebra whenever it contains the subalgebra generated by the singletons. V is atom-canonical if it contains the complex algebra of the atom structure of any of the atomic members of V.This paper explores relationships between these "persistence" properties and questions of whether V is generated by its complex algebras or its atomic members, or is closed under canonical embedding algebras or completions. It (...) also develops a general theory of when operations involving complex algebras lead to the construction of elementary classes of relational structures. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical (...) embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V.We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity calledHenkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the first-order correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under (...) taking canonical embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

Let Γ be Mundici’s functor from the category $${\mathcal{LG}}$$ whose objects are the lattice-ordered abelian groups ( ℓ -groups for short) with a distinguished strong order unit and the morphisms are the unital homomorphisms, onto the category $${\mathcal{MV}}$$ of MV-algebras and homomorphisms. It is shown that for each strong order unit u of an ℓ -group G , the Boolean skeleton of the MV-algebra Γ ( G , u ) is isomorphic to the Boolean algebra of (...) factor congruences of G. (shrink)

Associated with each first-order theory is a Boolean algebra of sentences and a Boolean space of models. Homomorphisms between the sentence algebras correspond to continuous maps between the model spaces. To what do recursive homomorphisms correspond? We introduce axiomatizable maps as the appropriate dual. For these maps we prove a Cantor-Bernstein theorem. Duality and the Cantor-Bernstein theorem are used to show that the Boolean sentence algebras of any two undecidable languages or of any two functional languages (...) are recursively isomorphic where a language is undecidable iff it has at least one operation or relation symbol of two or more places or at least two unary operation symbols, and a language is functional iff it has exactly one unary operation symbol and all other symbols are for unary relations, constants, or propositions. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

This paper deals with Boolean algebras supplied with an additional binary operation, calledB-algebras for short.The aim of the paper is to generalize some theorems concerning topological Boolean algebras to more comprehensive classes ofB-algebras, to formulate fundamental properties ofB-algebras, and to find more important relationships of these algebras to other known algebras.

My purpose in this paper is to analyze some aspects of the theory of Boolean algebras and distributive lattices within a constructive context, in particular, without employing the law of excluded middle. Throughout, we work within a constructive set theory which, provided with a suitable type-theoretic formulation, can be interpreted within an arbitrary topos (see,e.g. [3]).

In the paper all countable Boolean algebras with m distinguished. ideals having countably-categorical elementary theory are described and constructed. From the obtained characterization it follows that all countably-categorical elementary theories of Boolean algebras with distinguished ideals are finite-axiomatizable, decidable and, consequently, their countable models are strongly constructivizable.

Contrary to what is stated in Lemma 7.1 of [8], it is shown that some Boolean algebras of finitary logic admit finitely additive probabilities that are not σ-additive. Consequences of Lemma 7.1 are reconsidered. The concept of a C-σ-additive probability on B (where B and C are Boolean algebras, and $\mathscr{B} \subseteq \mathscr{C}$ ) is introduced, and a generalization of Hahn's extension theorem is proved. This and other results are employed to show that every S̄(L)-σ-additive probability on s̄(L) (...) can be extended (uniquely, under some conditions) to a σ-additive probability on S̄(L), where L belongs to a quite extensive family of first order languages, and S̄(L) and s̄(L) are, respectively, the Boolean algebras of sentences and quantifier free sentences of L. (shrink)

We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could be fewer (...) in models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients. (shrink)

By using the notion of a simplified (κ,1)-morass, we construct κ-thin-tall, κ-thin-thick and, in a forcing extension, κ-very thin-thick superatomic Boolean algebras for every infinite regular cardinal κ.

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together (...) the fields of theoretical and experimental computer science as well as the many relevant application areas. (shrink)

This paper uses a non-distributive system of Boolean fractions (a|b), where a and b are 2-valued propositions or events, to express uncertain conditional propositions and conditional events. These Boolean fractions, ‘a if b’ or ‘a given b’, ordered pairs of events, which did not exist for the founders of quantum logic, can better represent uncertain conditional information just as integer fractions can better represent partial distances on a number line. Since the indeterminacy of some pairs of quantum events (...) is due to the mutual inconsistency of their experimental conditions, this algebra of conditionals can express indeterminacy. In fact, this system is able to express the crucial quantum concepts of orthogonality, simultaneous verifiability, compatibility, and the superposition of quantum events, all without resorting to Hilbert space. A conditional (a|b) is said to be “inapplicable” (or “undefined”) in those instances or models for which b is false. Otherwise the conditional takes the truth-value of proposition a. Thus the system is technically 3-valued, but the 3rd value has nothing to do with a state of ignorance, nor to some half-truth. People already routinely put statements into three categories: true, false, or inapplicable. As such, this system applies to macroscopic as well as microscopic events. Two conditional propositions turn out to be simultaneously verifiable just in case the truth of one implies the applicability of the other. Furthermore, two conditional propositions (a|b) and (c|d) reside in a common Boolean sub-algebra of the non-distributive system of conditional propositions just in case b=d, their conditions are equivalent. Since all aspects of quantum mechanics can be represented with this near classical logic, there is no need to adopt Hilbert space logic as ordinary logic, just a need perhaps to adopt propositional fractions to do logic, just as we long ago adopted integer fractions to do arithmetic. The algebra of Boolean fractions is a natural, near-Boolean extension of Boolean algebra adequate to express quantum logic. While this paper explains one group of quantum anomalies, it nevertheless leaves no less mysterious the ‘influence-at-a-distance’, quantum entanglement phenomena. A quantum realist must still embrace non-local influences to hold that “hidden variables” are the measured properties of particles. But that seems easier than imaging wave-particle duality and instant collapse, as offered by proponents of the standard interpretation of quantum mechanics. (shrink)

The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP structures are taken to be (...) orthomodular latticesP L, then bivalent mappings which preserve the operations and relations of aP L must be truth-functional . Then as suggested by von Neumann and Jauch-Piron and as proven in this paper, the mere presence of incompatible elements in aP L is sufficient to rule out any semantical or hidden-variable proposal which imposes this strong condition, for anytwo-or-higher dimensional Hilbert spaceP L structure. Thus from the orthomodular lattice perspective, the peculiarly non-classical feature of quantum mechanics and the peculiarly non-Boolean feature of the quantum propositional structures is the existence of incompatible magnitudes and propositions. However, the weaker truth-functionality condition can instead be imposed upon the semantic or hidden-variable mappings on theP L structures, although such mappings ignore the lattice meets and joins of incompatibles and preserve only the partial-Boolean algebra structural features of theP L structures. Or alternatively, the quantum propositional structures can be taken to be partial-Boolean algebrasP A, where bivalent mappings which preserve the operations and relations of aP A need only be truth-functional (c). In either case, the Gleason, Kochen-Specker proofs show that any semantical or hidden variable proposal which imposes this truth-functionality (c) condition is impossible for anythree-or-higher dimensional Hilbert spaceP A orP L structures. But such semantical or hidden-variable proposals are possible for any two dimensional Hilbert spaceP A orP L structures, in spite of the presence of incompatibles in these structures, in spite of the fact that Heisenberg's Uncertainty Principle applies to the incompatible elements in these structures, and in spite of the fact that these structures are non-Boolean in the Piron sense. (shrink)

The purpose of this paper is to present an algebraic generalization of the traditional two-valued logic. This involves introducing a theory of automorphism algebras, which is an algebraic theory of many-valued logic having a complete lattice as the set of truth values. Two generalizations of the two-valued case will be considered, viz., the finite chain and the Boolean lattice. In the case of the Boolean lattice, on choosing a designated lattice value, this algebra has binary retracts that (...) have the usual axiomatic theory of the propositional calculus as suitable theory. This suitability applies to the Boolean algebra of formalized token models [2] where the truth values are, for example, vocabularies. Finally, as the actual motivation for this paper, we indicate how the theory of formalized token models [2] is an example of a many-valued predicate calculus. (shrink)

The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T 0 topological space with an additional "contact relation" C defined by xCy x ØA (possibly) more general class of models is provided by the Region Connection Calculus (RCC) of Randell et al. We show that the basic operations of the relational calculus on a "contact relation" generate at least 25 relations in any model (...) of the RCC, and hence, in any standard model of mereotopology. It follows that the expressiveness of the RCC in relational logic is much greater than the original 8 RCC base relations might suggest. We also interpret these 25 relations in the the standard model of the collection of regular open sets in the two-dimensional Euclidean plane. (shrink)

In this paper we study a certain class of Lie algebras over commutative von Neumann algebras satisfying a certain finiteness condition. By using Boolean valued methods developed by Takeuti [8]-[11], we will establish the basic structure and representation theorems.

The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T0 topological space with an additional "contact relation" C defined by xCy ? x n ? Ø.

An ordered field is said to be Scott complete iff it is complete with respect to its uniform structure. Zakon has asked whether nonstandard real lines are Scott complete. We prove in ZFC that for any complete Boolean algebra B which is not (ω, 2)-distributive there is an ultrafilter U of B such that the Boolean ultrapower of the real line modulo U is not Scott complete. We also show how forcing in set theory gives rise to (...) examples of Boolean ultrapowers of the real line which are not Scott complete. (shrink)

A Boolean product construction is used to give examples of existentially closed algebras in the universal Horn class ISP(K) generated by a universal class K of finitely subdirectly irreducible algebras such that Γ a (K) has the Fraser-Horn property. If $\lbrack a \neq b\rbrack \cap \lbrack c \neq d\rbrack = \varnothing$ is definable in K and K has a model companion of K-simple algebras, then it is shown that ISP(K) has a model companion. Conversely, a sufficient condition is given (...) for ISP(K) to have no model companion. (shrink)

We show that the class of all isomorphic images of Boolean Products of members of SR [1] is the class of all archimedean W-algebras. We obtain this result from the characterization of W-algebras which are isomorphic images of Boolean Products of CW-algebras.

A modal accessibility relation is just a transition relation, and so can be represented by a {0, 1} valued transition matrix. Starting from this observation, I first show that the machinery of matrices, over Boolean algebras more general than the two-valued one, is appropriate for investigating multi-modal semantics. Then I show that bisimulations have a rather elegant theory, when expressed in terms of transformations on Boolean vector spaces. The resulting theory is a curious hybrid, fitting between conventional modal (...) semantics and conventional linear algebra. I don’t know where the investigations begun here will ultimately wind up, but in the meantime the approach has a kind of curious charm that others may find appealing. (shrink)

We prove completeness of the propositional modal logic S 4 for the measure algebra based on the Lebesgue-measurable subsets of the unit interval, [0, 1]. In recent talks, Dana Scott introduced a new measure-based semantics for the standard propositional modal language with Boolean connectives and necessity and possibility operators, and . Propositional modal formulae are assigned to Lebesgue-measurable subsets of the real interval [0, 1], modulo sets of measure zero. Equivalence classes of Lebesgue-measurable subsets form a measure (...) class='Hi'>algebra, , and we add to this a non-trivial interior operator constructed from the frame of ‘open’ elements—elements in with an open representative. We prove completeness of the modal logic S 4 for the algebra . A corollary to the main result is that non-theorems of S 4 can be falsified at each point in a subset of the real interval [0, 1] of measure arbitrarily close to 1. A second corollary is that Intuitionistic propositional logic (IPC) is complete for the frame of open elements in. (shrink)

A generalization of conventional Horn clause logic programming is proposed in which the space of truth values is a pseudo-Boolean or Heyting algebra, whose members may be thought of as evidences for propositions. A minimal model and an operational semantics is presented, and their equivalence is proved, thus generalizing the classic work of Van Emden and Kowalski.