Results 221 to 230 of about 41,142 (258)

PBZ$$^{*}$$–Lattices: Ordinal and Horizontal Sums

2020
PBZ\(^{*}\)–lattices are lattices with additional operations that arise in the context of the unsharp approach to quantum logic. They include orthomodular lattices and Kleene algebras with an extra unary operation. We study in the framework of PBZ\(^{*}\)–lattices two constructions—the ordinal sum construction and the horizontal sum construction—that ...
Roberto Giuntini, Claudia Muresan, Francesco Paoli   +2 more
openaire   +2 more sources

Non-commutative ordinal sum construction

Fuzzy Sets and Systems
Andrea Zemankova
exaly   +2 more sources

Computable shuffle sums of ordinals

Archive for Mathematical Logic, 2008
The shuffle sum \(\sigma (S)\) of a countable set of linear orders \(S = \{ L_i \} _{i \in \omega}\) is the unique linear order obtained by partitioning the rationals into dense sets \(\{Q_i \}_{i \in \omega}\) and replacing each rational in \(Q_i\) by \(L_i\). The main result of this paper characterizes those \(S \subset \omega+1\) for which \(\sigma (
openaire   +2 more sources

Generalized ordinal sums and translations

Logic Journal of IGPL, 2010
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of substructural logics. Our approach is algebraic and uses residuated lattices, the algebraic models for substructural logics.
openaire   +1 more source

Ordinal sums of triangular norms on bounded lattices

Information Sciences, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ümit Ertugrul, Merve Yesilyurt
openaire   +1 more source

On vertical ordinal sums of fuzzy implications

Computational and Applied Mathematics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yafei Cheng, Bin Zhao, Jing Lu
openaire   +1 more source

Two classes of ordinal sum implications

Computational and Applied Mathematics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heloisa Frazão, Landerson Santiago, Jocivania Pinheiro, Thadeu Milfont, Anne Canuto   +4 more
openaire   +1 more source

New types of ordinal sum of fuzzy implications

2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017
In this contribution new ways of constructing of ordinal sum of fuzzy implications are proposed. These methods are based on a construction of ordinal sums of overlap functions. Moreover, preservation of some properties of these ordinal sums of fuzzy implications are examined.
Michal Baczynski 0001, Pawel Drygas, Anna Król, Radko Mesiar   +3 more
openaire   +1 more source

Sums of 5 or 6 Pairwise‐Noncommutative Ordinals

Mathematical Logic Quarterly, 1986
Let n and k be positive integers. Let \(\Sigma_ n\) be the symmetric group on n letters, and let \(\alpha_ 1,\alpha_ 2,...,\alpha_ n\) be any n (not necessarily distinct) nonzero ordinals. Then \(\alpha_ 1,\alpha_ 2,...,\alpha_ n\) are said to yield k sums if \{\(\sum^{n}_{i=1}\alpha_{\phi (i)}:\phi \in \Sigma_ n\}\) is a k- element set.
openaire   +2 more sources

Combinatorial applications of ordinal sum decompositions

Ars Comb., 1995
Summary: For any double sequence \((q_{k,n})\) with \(q_{k,0} = 0\), the ``summatorial sequence'' \((p_{k,n}) = \sum (q_{k,n})\) is defined by \(p_{0,0} = 1\) and \(p_{k,n} = \sum^k_{j=0} \sum^n_{m=1} q_{j,m}p_{k - j, n - m}\). If \(q_{k,n} = 0\) for \(k < n -1\) then there exists a unique sequence \((c_j)\) satisfying the recurrence \(p_{k,n} = \sum ...
Marcel Erné, Kurt Stege
openaire   +1 more source