Results 121 to 130 of about 1,728 (218)

Generalized Boolean models and classical predicate logic

, 2013
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-order predicate logic. This thesis has two main goals, at first it is to show that every Boolean al- gebra can be extended to a complete Boolean algebra such
Lávička, Tomáš
core  

Arrow of Time in Quantum Mechanics and Set Theory. [PDF]

Entropy (Basel)
Król J.
europepmc   +1 more source

COMPLETENESS OF IDEALS OF A BOOLEAN ALGEBRA

Demonstratio Mathematica, 1978
openaire   +2 more sources

The sequential topology on complete Boolean algebras

, 1998
We investigate the sequential topology $τ_{s}$ on a complete Boolean algebra B determined by algebraically convergent sequences in B. We show the role of weak distributivity of B in separation axioms for the sequential topology. The main result is that a
Jech, Thomas, Główczyński, Wiesław, Balcar, Bohuslav   +2 more
core  

Thermodynamics à la Souriau on Kähler Non-Compact Symmetric Spaces for Cartan Neural Networks. [PDF]

Entropy (Basel)
Fré PG, Sorin AS, Trigiante M.
europepmc   +1 more source

Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis. [PDF]

SN Comput Sci
Lopuhaä-Zwakenberg M.
europepmc   +1 more source

Congruency, Homomorphism  and Isomorphism on Autometrized Algebras. [PDF]

F1000Res
Tilahun GY.
europepmc   +1 more source

Orthopseudorings and congruences on distributive lattice with dual weak complementation. [PDF]

Heliyon, 2023
Rezk EG.
europepmc   +1 more source

Boolean Partition Algebras

, 2013
A Boolean partition algebra is a pair $(B,F)$ where $B$ is a Boolean algebra and $F$ is a filter on the semilattice of partitions of $B$ where $\bigcup F=B\setminus\{0\}$.
Van Name, Joseph, Van Name, Joseph Anthony   +1 more
core  

Atomic representation and algorithms for polytomous knowledge spaces. [PDF]

PLoS One
He Z.
europepmc   +1 more source