Cover Image

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Craig, Andrew, Jipsen, Peter, Robinson, Claudette
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Contractions of quasi relation algebras and applications to representability
by: Craig, Andrew, et al.
Published: (2026)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Pregroup representable expansions of residuated lattices
by: Craig, Andrew, et al.
Published: (2026)

Representing Sugihara monoids via weakening relations
by: Craig, Andrew, et al.
Published: (2023)

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

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

Preservation theorems for Tarski's relation algebra
by: Bogaerts, Bart, et al.
Published: (2023)

Balanced residuated partially ordered semigroups
by: Bonzio, Stefano, et al.
Published: (2025)

Difference-restriction algebras with operators
by: Borlido, Célia, et al.
Published: (2025)

Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

Observation algebras: Heyting algebra over coherence spaces
by: Brunet, Paul
Published: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
by: Aristote, Quentin
Published: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

About enveloping algebras of direct sums
by: Duchamp, Gérard Henry Edmond, et al.
Published: (2024)

FILO -- automated unification in $\mathcal{FL}_0$
by: Morawska, Barbara, et al.
Published: (2025)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

Tree algebras and bisimulation-invariant MSO on finite graphs
by: Colcombet, Thomas, et al.
Published: (2024)

Local structure of idempotent algebras II
by: Bulatov, Andrei A.
Published: (2020)

Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime
by: Henne, Michał, et al.
Published: (2026)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
by: Dowek, Gilles, et al.
Published: (2023)

Duality theory in linear optimization and its extensions -- formally verified
by: Dvorak, Martin, et al.
Published: (2024)

Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)

Orthogonality relations and operators on bounded quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

Solving unification in the description logic $\mathcal{FL}_\bot$
by: Morawska, Barbara, et al.
Published: (2024)

Complete representation by partial functions for signatures containing antidomain restriction
by: McLean, Brett
Published: (2023)

Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)

Separating domains from algebraic domains
by: Jia, Xiaodong, et al.
Published: (2025)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, Michael, et al.
Published: (2022)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)