Cover Image

Representable distributive quasi relation algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Craig, Andrew, Robinson, Claudette
Format:	Preprint
Published:	2023
Subjects:	Logic Rings and Algebras 06F05, 03B47, 03G10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Commuting degree for BCK-algebras
by: Evans, C. Matthew
Published: (2025)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)

Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

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

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

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

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

Nonstandard polynomials: algebraic properties and elementary equivalence
by: Myasnikov, Alexei, et al.
Published: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)

Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

L-algebras and their ideals: from simplicity to semidirect products
by: Properzi, Silvia, et al.
Published: (2025)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Definability of band structures on posets
by: Kuperman, Joel, et al.
Published: (2024)

On Nondefinability of Interior-Connectedness via the Contact Relation
by: Gruszczyński, Rafał, et al.
Published: (2025)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)