Observation Space And Observables In Classical Mechanics
Observation space and observables in classical mechanics.
On a characterization of probability measures on Boolean algebras and some orthomodular lattices
On A Class Of Sentential Functions
On a class of sentential functions.
On automorphism groups of boolean algebras
On Boolean modus ponens.
An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].
On BPI Restricted to Boolean Algebras of Size Continuum
(i) The statement P(ω) = “every partition of ℝ has size ≤ |ℝ|” is equivalent to the proposition R(ω) = “for every subspace Y of the Tychonoff product the restriction |Y = Y ∩ B: B ∈ of the standard clopen base of to Y has size ≤ |(ω)|”. (ii) In ZF, P(ω) does not imply “every partition of (ω) has a choice set”. (iii) Under P(ω) the following two statements are equivalent: (a) For every Boolean algebra of size ≤ |ℝ| every filter can be extended to an ultrafilter. (b) Every Boolean algebra of...
On collections of almost disjoint families
On decidability of one class of boolean formulas
On Equational Classes of Algebraic Versions of Logic I.
On fields and ideals connected with notions of forcing
We investigate an algebraic notion of decidability which allows a uniform investigation of a large class of notions of forcing. Among other things, we show how to build σ-fields of sets connected with Laver and Miller notions of forcing and we show that these σ-fields are closed under the Suslin operation.
On free Boolean vectors.
On ideals in De Morgan residuated lattices
In this paper, we introduce a new class of residuated lattices called De Morgan residuated lattices, we show that the variety of De Morgan residuated lattices includes important subvarieties of residuated lattices such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices, MTL-algebras and involution residuated lattices. We investigate specific properties of ideals in De Morgan residuated lattices, we state the prime ideal theorem and the pseudo-complementedness of the ideal...
On mixed product of Boolean algebras
On Reproductive Solutions Of Arbitrary Equations
On reproductive solutions of arbitrary equations.
On some inexact relations in probabilized Boolean algebras.
This paper is devoted to characterize monotonicity, conditionality and transitivity of some rational relations defined in a probabilized Boolean Algebra.
On some properties of Post algebras with countable chain of constants
On Some Relations in Boolean Algebras