Gespeichert in:
| Hauptverfasser: | Xiu, Zhen-Yu, Si, Zheng-Yuan, Zheng, Xu |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2407.02051 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Structures of uninorms on bounded lattices via t-conorms, closure operators and t-subnorms
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2025)
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2025)
Uninorms via two comparable closure operators on bounded lattices
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2025)
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2025)
New characterizations of migrative 2-uninorms
von: Liang, Shudi, et al.
Veröffentlicht: (2024)
von: Liang, Shudi, et al.
Veröffentlicht: (2024)
On the characterization of the structure of distributive uninorms
von: Zong, Wenwen, et al.
Veröffentlicht: (2024)
von: Zong, Wenwen, et al.
Veröffentlicht: (2024)
Nullnorms on bounded trellises
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2024)
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2024)
On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)
Uniform interpolation with constructive diamond
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)
Approximating parametric suprema for constructible and power-constructible functions
von: Buggenhout, Tijs, et al.
Veröffentlicht: (2026)
von: Buggenhout, Tijs, et al.
Veröffentlicht: (2026)
Degrees of incomputability, realizability and constructive reverse mathematics
von: Kihara, Takayuki
Veröffentlicht: (2020)
von: Kihara, Takayuki
Veröffentlicht: (2020)
On ultrafilter construction
von: Malliaris, Maryanthe
Veröffentlicht: (2025)
von: Malliaris, Maryanthe
Veröffentlicht: (2025)
Reflecting compact $T_1$-spaces into bounded distributive lattices
von: Gehrke, Mai, et al.
Veröffentlicht: (2024)
von: Gehrke, Mai, et al.
Veröffentlicht: (2024)
Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)
New bounds on the strength of some restrictions of Hindman's Theorem
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2017)
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2017)
Pointed lattice subreducts of varieties of residuated lattices
von: Přenosil, Adam
Veröffentlicht: (2023)
von: Přenosil, Adam
Veröffentlicht: (2023)
Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)
Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)
On effective constructions of existentially closed groups
von: Scott, I
Veröffentlicht: (2024)
von: Scott, I
Veröffentlicht: (2024)
Quasipolynomial behavior via constructibility in multigraded algebra
von: Dao, Hailong, et al.
Veröffentlicht: (2025)
von: Dao, Hailong, et al.
Veröffentlicht: (2025)
On the consistency of stronger lower bounds for NEXP
von: Thapen, Neil
Veröffentlicht: (2025)
von: Thapen, Neil
Veröffentlicht: (2025)
On Fidel Vakarelov construction for Monadic Godel algebras
von: Alonso, Maria Valentina, et al.
Veröffentlicht: (2024)
von: Alonso, Maria Valentina, et al.
Veröffentlicht: (2024)
Modular constructive Lyndon interpolation for nondistributive logics
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)
Incidence bounds in positive characteristic via valuations and distality
von: Bays, Martin, et al.
Veröffentlicht: (2021)
von: Bays, Martin, et al.
Veröffentlicht: (2021)
Gelfand residuated lattices
von: Rasouli, Saeed, et al.
Veröffentlicht: (2022)
von: Rasouli, Saeed, et al.
Veröffentlicht: (2022)
Some remarks on lattices of equivalences
von: Herrmann, Christian
Veröffentlicht: (2025)
von: Herrmann, Christian
Veröffentlicht: (2025)
Univalence without function extensionality
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)
Fibred sets within a predicative and constructive effective topos
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2024)
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2024)
An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
von: Herbelin, Hugo, et al.
Veröffentlicht: (2024)
von: Herbelin, Hugo, et al.
Veröffentlicht: (2024)
Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
von: Carl, Merlin, et al.
Veröffentlicht: (2015)
von: Carl, Merlin, et al.
Veröffentlicht: (2015)
n-fold filters in residuated lattice
von: Kadji, A., et al.
Veröffentlicht: (2013)
von: Kadji, A., et al.
Veröffentlicht: (2013)
Various topos of types constructions
von: Kanalas, Kristóf
Veröffentlicht: (2025)
von: Kanalas, Kristóf
Veröffentlicht: (2025)
Strong negation in the theory of computable functionals TCF
von: Köpp, Nils, et al.
Veröffentlicht: (2022)
von: Köpp, Nils, et al.
Veröffentlicht: (2022)
Foulis-Holland theorem for implicative-orthomodular lattices
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)
On the universal theory of the free pseudocomplemented distributive lattice
von: Carai, Luca, et al.
Veröffentlicht: (2024)
von: Carai, Luca, et al.
Veröffentlicht: (2024)
Some applications of fuzzy sets in residuated lattices
von: Flaut, Cristina, et al.
Veröffentlicht: (2024)
von: Flaut, Cristina, et al.
Veröffentlicht: (2024)
Labelled calculi for lattice-based modal logics
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)
Nagata products of bimodules over residuated lattices
von: Přenosil, Adam, et al.
Veröffentlicht: (2025)
von: Přenosil, Adam, et al.
Veröffentlicht: (2025)
Twist-structures isomorphic to modal Nelson lattices
von: Menchón, Paula, et al.
Veröffentlicht: (2025)
von: Menchón, Paula, et al.
Veröffentlicht: (2025)
Ultrafilter extensions of bounded graphs are elementary
von: Molnár, Zalán
Veröffentlicht: (2024)
von: Molnár, Zalán
Veröffentlicht: (2024)
Measures on bounded perfect PAC fields
von: Chatzidakis, Zoé, et al.
Veröffentlicht: (2025)
von: Chatzidakis, Zoé, et al.
Veröffentlicht: (2025)
Scott spectral gaps for trees are bounded
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
Structures of uninorms on bounded lattices via t-conorms, closure operators and t-subnorms
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2025) -
Uninorms via two comparable closure operators on bounded lattices
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2025) -
New characterizations of migrative 2-uninorms
von: Liang, Shudi, et al.
Veröffentlicht: (2024) -
On the characterization of the structure of distributive uninorms
von: Zong, Wenwen, et al.
Veröffentlicht: (2024) -
Nullnorms on bounded trellises
von: Xiu, Zhenyu, et al.
Veröffentlicht: (2024)