Buchumschlag

Axiomatizing small varieties of periodic l-pregroups

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Galatos, Nikolaos, Santschi, Simon
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Rings and Algebras Logic 06F05, 06F15, 03C05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Amalgamation in Semilinear Residuated Lattices
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)

Interpolation in Hájek's Basic Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)

Residuated lattices do not have the amalgamation property
von: Jipsen, Peter, et al.
Veröffentlicht: (2025)

Semilinear idempotent distributive l-monoids
von: Santschi, Simon
Veröffentlicht: (2022)

Equational theories of idempotent semifields
von: Metcalfe, George, et al.
Veröffentlicht: (2024)

Varieties of MV-monoids and positive MV-algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

Representability for distributive quasi relation algebras via nested sums
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Representable distributive quasi relation algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2023)

Ivanova contact join-semilattices are not finitely axiomatizable
von: Lipparini, Paolo
Veröffentlicht: (2023)

Limit Semigroups with 2 Generators
von: Estrada, Felipe, et al.
Veröffentlicht: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
von: Giustarini, Valeria, et al.
Veröffentlicht: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

On hollowness in multiplicative lattices
von: Goswami, Amartya, et al.
Veröffentlicht: (2025)

Anneaux à diviseurs et anneaux de Krull (une approche constructive)
von: Coquand, Thierry, et al.
Veröffentlicht: (2015)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
von: Fusco, Ludovico, et al.
Veröffentlicht: (2025)

Hypercontact semilattices
von: Lipparini, Paolo
Veröffentlicht: (2023)

Properties of the symmetric difference in lattices with complementation
von: Cenker, Václav, et al.
Veröffentlicht: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
von: Coquand, Thierry, et al.
Veröffentlicht: (2017)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

The uniform Kruskal theorem over RCA$_0$
von: Uftring, Patrick
Veröffentlicht: (2025)

Locally Integral Involutive PO-Semigroups
von: Gil-Férez, José, et al.
Veröffentlicht: (2023)

Definability of band structures on posets
von: Kuperman, Joel, et al.
Veröffentlicht: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Grothendieck rings of ordered subgroups of $\mathbb{Q}$
von: Bhardwaj, Neer, et al.
Veröffentlicht: (2025)

Adjointable maps between linear orthosets
von: Paseka, Jan, et al.
Veröffentlicht: (2025)

Linear Orders in Presburger Arithmetic
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2022)

Definable ranks
von: Krapp, Lothar Sebastian, et al.
Veröffentlicht: (2025)

On the problem of generalized measures: an impossibility result
von: Agostini, Claudio, et al.
Veröffentlicht: (2026)

On $\mathscr{T}$-based orthomodular dynamic algebras
von: Paseka, Jan, et al.
Veröffentlicht: (2026)

Multiplicative lattices with absorbing factorization
von: Reinhart, Andreas, et al.
Veröffentlicht: (2024)

Projectable reduced $f$-rings admitting elimination of quantifiers
von: Guier, Jorge I.
Veröffentlicht: (2026)

Autometrized Lattice Ordered Monoids
von: Ashale, Tekalign Regasa, et al.
Veröffentlicht: (2024)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Invariants for metrisable locally compact Boolean spaces
von: Apps, Andrew B.
Veröffentlicht: (2025)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

The operator of relative complementation
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

The variety of complemented lattices where the Sasaki operations form an adjoint pair
von: Cenker, Václav, et al.
Veröffentlicht: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Spherically orderable groups
von: Sudoplatov, Sergey V.
Veröffentlicht: (2024)