Results 1 to 10 of about 25,832 (94)
On Neutrosophic Vague Binary BZMZ^dM Sub-algebra of BZMZ^dM-algebra in Neutrosophic Vague Binary Sets [PDF]
Neutrosophic Sets and Systems, 2021 In Model theory, common algebraic structures found are Lattices and Boolean Algebras. In the broad field of research, various algebraic structures can be introduced for a set. BCK, BCI, BCH, BH etc. are some of them.
P. B. Remya, A. Francina Shalini
doaj +1 more source
Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras
Axioms, 2022 As an extension of interval-valued pseudo t-norms, interval-valued pseudo-overlap functions (IPOFs) play a vital role in solving interval-valued multi-attribute decision making problems.
Xiaohong Zhang, Rong Liang
doaj +1 more source
Fuzzy inequational logic [PDF]
, 2015 We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic
Vychodil, Vilem
core +1 more source
A view of canonical extension [PDF]
, 2010 This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties are given.
B. Jónsson +10 more
core +4 more sources
, 2020 We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation.
Fritz, Tobias
core +1 more source
Dyck algebras, interval temporal logic and posets of intervals [PDF]
, 2015 We investigate a natural Heyting algebra structure on the set of Dyck paths of the same length. We provide a geometrical description of the operations of pseudocomplement and relative pseudocomplement, as well as of regular elements. We also find a logic-
Ferrari, Luca
core +2 more sources
Wreath Products of Forest Algebras, with Applications to Tree Logics [PDF]
, 2012 We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics.
Howard Straubing +3 more
core +3 more sources
, 2012 We characterize weak BCC-algebras in which the identity $(xy)z=(xz)y$ is satisfied only in the case when elements $x,y$ belong to the same ...
Bunder W. M. +23 more
core +1 more source
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras [PDF]
, 2016 We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that for every two unifiers there is a ...
Dzik, Wojciech, Radeleczki, Sándor
core +2 more sources
Stone-Type Dualities for Separation Logics [PDF]
, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Docherty, Simon, Pym, David
core +2 more sources