Buchumschlag

On the structure of balanced residuated partially ordered monoids

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bonzio, Stefano, Gil-Férez, José, Jipsen, Peter, Přenosil, Adam, Sugimoto, Melissa
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Balanced residuated partially ordered semigroups
von: Bonzio, Stefano, et al.
Veröffentlicht: (2025)

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

Pointed lattice subreducts of varieties of residuated lattices
von: Přenosil, Adam
Veröffentlicht: (2023)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
von: Alpay, Natanael, et al.
Veröffentlicht: (2022)

Nagata products of bimodules over residuated lattices
von: Přenosil, Adam, et al.
Veröffentlicht: (2025)

Sequent calculi for first-order ST
von: Paoli, Francesco, et al.
Veröffentlicht: (2026)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
von: Přenosil, Adam
Veröffentlicht: (2024)

Duality for finitely valued algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Equational definitions of logical filters
von: Baldi, Michele Pra, et al.
Veröffentlicht: (2024)

Modal weak Kleene logics: axiomatizations and relational semantics
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

On the structure of Bochvar algebras
von: Bonzio, Stefano, et al.
Veröffentlicht: (2023)

On the structure and theory of McCarthy algebras
von: Bonzio, Stefano, et al.
Veröffentlicht: (2025)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Equivalence of multiset-based consequence relations
von: Madanshekaf, Ali, et al.
Veröffentlicht: (2024)

Algebraic proof theory for LE-logics
von: Greco, Giuseppe, et al.
Veröffentlicht: (2018)

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

On the first order theory of plactic monoids
von: Turaev, Daniel
Veröffentlicht: (2023)

Monoidal categories graded by partial commutative monoids
von: Earnshaw, Matthew, et al.
Veröffentlicht: (2026)

On some algebraic properties of Plonka sums and regularized varieties
von: Bonzio, S., et al.
Veröffentlicht: (2026)

Double-functorial representation of regular monoidal structures
von: Siqueira, José
Veröffentlicht: (2025)

Bochvar algebras: A categorical equivalence and the generated variety
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

A note on uniform definability of types over finite sets in partial orders of finite width
von: Krisam, Timo, et al.
Veröffentlicht: (2024)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Representing Sugihara monoids via weakening relations
von: Craig, Andrew, et al.
Veröffentlicht: (2023)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

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

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

Associative ideals in monoids
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

Terms that define nuclei on residuated lattices: a case study of BL-algebras
von: Buss, Sebastián, et al.
Veröffentlicht: (2024)

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

Doubly partially conservative sentences
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

Unbiasing symmetric monoidal categories in Lean
von: Carlier, Robin
Veröffentlicht: (2026)

A monoidal category of dependently sorted algebraic theories I: syntax
von: Almeida, Daniel
Veröffentlicht: (2025)

Some applications of fuzzy sets in residuated lattices
von: Flaut, Cristina, et al.
Veröffentlicht: (2024)

A variety of partially conservative sentences
von: Kogure, Haruka, et al.
Veröffentlicht: (2024)

On first-order definable operations on relational structures
von: Courcelle, Bruno
Veröffentlicht: (2026)