Results 41 to 50 of about 945 (231)
Gődel filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana +2 more
doaj +1 more source
Fuzzy Annihilator Ideals of C-Algebra
Advances in Fuzzy Systems, 2021 In this paper, we introduce the concept of relative fuzzy annihilator ideals in C-algebras and investigate some its properties. We characterize relative fuzzy annihilators in terms of fuzzy points.
Wondwosen Zemene Norahun +2 more
doaj +1 more source
Strongly Complete Logics for Coalgebras [PDF]
Logical Methods in Computer Science, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky
doaj +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
Atom structures of cylindric algebras and relation algebras [PDF]
, 1997 Accepted ...
Hodkinson, I, Hodkinson, Ian
core +1 more source
Automatic Structures: Richness and Limitations [PDF]
Logical Methods in Computer Science, 2007 We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the relations by ...
Bakhadyr Khoussainov +3 more
doaj +1 more source
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
International Journal of Computational Intelligence Systems, 2019 This paper focuses on the investigation of filters of pseudo BCK-algebra and BL-algebra, important and popular generic commutative and non-commutative logical algebras.
Wei Wang, Pengxi Yang, Yang Xu
doaj +1 more source
Big Data Mining: a Computer-Oriented Method of Working with the Semantics of Assertions
Современные информационные технологии и IT-образование, 2021 When analyzing large amounts of data with the involvement of experts of subject domain, the problem of knowledge representation arises, this problem lies in describing the semantic content of judgments with their subsequent formalization, automated ...
Galina Goremykina
doaj +1 more source
Relation algebras with n-dimensional relational bases [PDF]
, 2000 Accepted ...
Hirsch, R, Hodkinson, I
core +1 more source
Measures on Boolean Algebras [PDF]
, 2023 Dissertation (MSc (Mathematics))--University of Pretoria, 2023.This thesis deals with a number of related results on Boolean algebras. First, we prove the Stone Representation Theorem, which shows that every Boolean algebra is isomorphic to an algebra of
core +1 more source