:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xiu, Zhen-Yu, Si, Zheng-Yuan, Zheng, Xu
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
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)

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)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Uniform interpolation with constructive diamond
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)

Degrees of incomputability, realizability and constructive reverse mathematics
von: Kihara, Takayuki
Veröffentlicht: (2020)

On ultrafilter construction
von: Malliaris, Maryanthe
Veröffentlicht: (2025)

Reflecting compact $T_1$-spaces into bounded distributive lattices
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)

New bounds on the strength of some restrictions of Hindman's Theorem
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2017)

Pointed lattice subreducts of varieties of residuated lattices
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)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

On effective constructions of existentially closed groups
von: Scott, I
Veröffentlicht: (2024)

Quasipolynomial behavior via constructibility in multigraded algebra
von: Dao, Hailong, et al.
Veröffentlicht: (2025)

On the consistency of stronger lower bounds for NEXP
von: Thapen, Neil
Veröffentlicht: (2025)

On Fidel Vakarelov construction for Monadic Godel algebras
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)

Incidence bounds in positive characteristic via valuations and distality
von: Bays, Martin, et al.
Veröffentlicht: (2021)

Gelfand residuated lattices
von: Rasouli, Saeed, et al.
Veröffentlicht: (2022)

Some remarks on lattices of equivalences
von: Herrmann, Christian
Veröffentlicht: (2025)

Univalence without function extensionality
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)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
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)

n-fold filters in residuated lattice
von: Kadji, A., et al.
Veröffentlicht: (2013)

Various topos of types constructions
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)

Foulis-Holland theorem for implicative-orthomodular lattices
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)

Some applications of fuzzy sets in residuated lattices
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)

Nagata products of bimodules over residuated lattices
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)

Ultrafilter extensions of bounded graphs are elementary
von: Molnár, Zalán
Veröffentlicht: (2024)

Measures on bounded perfect PAC fields
von: Chatzidakis, Zoé, et al.
Veröffentlicht: (2025)

Scott spectral gaps for trees are bounded
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2026)