Results 1 to 10 of about 1,136,927 (156)
Discrete Mathematics, 2000 An algebra \(L=(L;\vee, \wedge,\phantom{}^*, 0,1)\) of type \((2,2,1,0,0)\) is called a Stone algebra, if \((L;\vee, \wedge,0,1)\) is a bounded distributive lattice, \(\phantom{}^*\) is a pseudocomplementation, i.e. \(a\wedge x=0\) if and only if \(x\leq a^*\), and \(L\) satisfies the identity \(x^*\vee x^{**}=1\).
Roberto Cignoli, Antoni Torrens
exaly +4 more sources
Mathematical Logic Quarterly, 2009 AbstractIn this paper we shall introduce the variety WQS of weak‐quasi‐Stone algebras as a generalization of the variety QS of quasi‐Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬‐lattices to give a duality for WQS. We prove that a weak‐quasi‐Stone algebra is characterized by a property of
Sérgio A Celani, Leonardo Cabrer
exaly +5 more sources
Logics of involutive Stone algebras [PDF]
Soft Computing, 2021 An involutive Stone algebra (IS-algebra) is simultaneously a De Morgan algebra and a Stone algebra (i.e., a pseudo-complemented distributive lattice satisfying the Stone identity ∼x∨∼∼x≈1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage ...
Sérgio Marcelino, U. Rivieccio
semanticscholar +4 more sources
Stone algebras: 3-valued logic and rough sets
Soft Computing, 2021 In this article, we propose 3-valued semantics of the logics compatible with Stone and dual Stone algebras. We show that these logics can be considered as 3-valued by establishing soundness and completeness results.
Arun Kumar, Arun Kumar
exaly +2 more sources
Cardinality and Representation of Stone Relation Algebras
Fundamenta Informaticae, 2023 Previous work has axiomatised the cardinality operation in relation algebras, which counts the number of edges of an unweighted graph. We generalise the cardinality axioms to Stone relation algebras, which model weighted graphs, and study the ...
Hitoshi Furusawa, Walter Guttmann
semanticscholar +3 more sources
On Fuzzy Ideals of BL-Algebras [PDF]
The Scientific World Journal, 2014 In this paper we investigate further properties of fuzzy ideals of a BL-algebra. The notions of fuzzy prime ideals, fuzzy irreducible ideals, and fuzzy Gödel ideals of a BL-algebra are introduced and their several properties are investigated.
Biao Long Meng, Xiao Long Xin
doaj +2 more sources
Stone MV-algebras and strongly complete MV-algebras [PDF]
Algebra Universalis, 2017 15 ...
Jean Nganou
exaly +4 more sources
Verifying minimum spanning tree algorithms with Stone relation algebras
Journal of Logical and Algebraic Methods in Programming, 2018 We study a generalisation of relation algebras in which the underlying Boolean algebra structure is replaced with a Stone algebra. Many theorems of relation algebras generalise with no or small changes.
Walter Guttmann
exaly +2 more sources
Dualities for Stone algebras, double Stone algebras, and relative Stone algebras [PDF]
Colloquium Mathematicum, 1982 B. Davey
semanticscholar +2 more sources
Equational classes of relative Stone algebras
Notre Dame Journal of Formal Logic, 1972 T. Hecht, T. Katrinák
semanticscholar +4 more sources