Results 71 to 80 of about 376,859 (113)
Weak, Strong and Mixed Extensions of Relations to Spaces of Ultrafilters
Mathematical Logic Quarterly, Volume 72, Issue 3, August 2026.ABSTRACT The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers, focused mostly on congruences and divisions. We show that similar methods can be used to extend these characterizations to arbitrary relations and their interplay.
Leonardo Raffaello Maximilian Gasparro +1 more
wiley +1 more source
Pure filters and stable topology on BL-algebras [PDF]
, 2009 summary:In this paper we introduce stable topology and $F$-topology on the set of all prime filters of a BL-algebra $A$ and show that the set of all prime filters of $A$, namely Spec($A$) with the stable topology is a compact space but not $T_0$. Then by
Haghani, Farhad Kh., Eslami, Esfandiar
core +1 more source
Exchange učilišta Algebra u hibridnom okruženju
, 2014 U ovom završnom radu opisan je proces migracije e-mail sustava učilišta Algebra s vlastitog sustava Exchange 2010/2013 na sustav Office 365 Exchange Online.
Pavleković, Igor
core +1 more source
Soft BL-algebras based on fuzzy sets [PDF]
, 2010 By means of ∈-soft sets and q-soft sets, some characterizations of (implicative, positive implicative and fantastic) filteristic soft BL-algebras are investigated.
Zhan, Jianming, Jun, Young Bae
core +1 more source
A Verified Algebra for Linked Data
, 2011 A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Horne, Ross, Sassone, Vladimiro
core +2 more sources
STABILIZERS ON SHEFFER STROKE BL-ALGEBRAS
, 2022 In this study, new properties of various filters on a Sheffer stroke BL-algebra are studied. Then some new results in filters of Sheffer stroke BL-algebras are given.
Oner, Tahsin +2 more
core +1 more source
Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra
For any BL-algebra L, we construct an associated lattice ordered Abelian group that coincides with the Chang’s l-group of an MV-algebra when the BL-algebra is an MV-algebra. We prove that the Chang’s group of the MV-center of any BL-algebra L is a direct
Jean Bernard Nganou, Celestin Lele
core +1 more source
Semantic Constructions for Hidden Algebra
, 1998 Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of their states, as well as their observational aspect, concerned with the observable ...
Cirstea, Corina
core +1 more source
A Study of a Special Semi Maximal Filters in BL−algebras
Bulletin of the Section of LogicIn this article, a specific type of semi maximal filters is introduced, which form a lattice structure. These filters are called J- semi maximal and NJ-semi maximal, and their key properties in BL-algebras are analyzed.
Motahareh Atabaki +2 more
doaj +1 more source
Boundary Algebra: A Simple Notation for Boolean Algebra and the Truth Functors [PDF]
Boundary algebra [BA] is a simpler notation for Spencer-Brown’s (1969) primary algebra [pa], the Boolean algebra 2, and the truth functors. The primary arithmetic [PA] consists of the atoms ‘()’ and the blank page, concatenation, and enclosure between ‘(‘
Philip Meguire
core