The lattice structure of quantum logics
The logic of categories of partial functions and its applications [Book]
The maximality of the typed lambda calculus and of cartesian closed categories
The measure extension theorem for subadditive measures in -continuous logics
The measure extension theorem for subadditive probability measures in orthomodular -continuous lattices
The -propositional calculus
T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the -propositional calculus, denoted by , is introduced in terms of the binary connectives (implication), (standard implication), (conjunction), (disjunction) and the unary ones (negation) and , (generalized Moisil operators). It is proved that belongs to the class of standard systems of implicative...
The partially pre-ordered set of compactifications of Cp(X, Y)
In the set of compactifications of X we consider the partial pre-order defined by (W, h) ≤X (Z, g) if there is a continuous function f : Z ⇢ W, such that (f ∘ g)(x) = h(x) for every x ∈ X. Two elements (W, h) and (Z, g) of K(X) are equivalent, (W, h) ≡X (Z, g), if there is a homeomorphism h : W ! Z such that (f ∘ g)(x) = h(x) for every x ∈ X. We denote by K(X) the upper semilattice of classes of equivalence of compactifications of X defined by ≤X and ≡X. We analyze in this article K(Cp(X, Y)) where...
The prime and maximal spectra and the reticulation of BL-algebras
In this paper we study the prime and maximal spectra of a BL-algebra, proving that the prime spectrum is a compact T 0 topological space and that the maximal spectrum is a compact Hausdorff topological space. We also define and study the reticulation of a BL-algebra.
The prime filter theorem of lattice implication algebras.
The Role of Halaš Identity in Orthomodular Lattices
We prove that a certain identity introduced by R. Halaš for classifying basic algebras can be used for characterizing orthomodular lattices in the class of ortholattices with antitone involutions on every principal filter.
The Rothberger property on
A space is said to have the Rothberger property (or simply is Rothberger) if for every sequence of open covers of , there exists for each such that . For any , necessary and sufficient conditions are obtained for to have the Rothberger property when is a Mrówka mad family and, assuming CH (the Continuum Hypothesis), we prove the existence of a maximal almost disjoint family for which the space is Rothberger for all .
The subalgebra lattice of a Heyting algebra
The theory of boolean algebras with a distinguished subalgebra is undecidable
The "World's Simplest Axiom of Choice" Fails.
Théories des types de graphes
Tibor Neubrunn (1929 – 1990) [Book]
Tolerances on -lattices
Topological difference posets
Topological representation for monadic implication algebras
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.
Topologies in atomic quantum logics