Cover Image

Contractions of quasi relation algebras and applications to representability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Craig, Andrew, Morton, Wilmari, Robinson, Claudette
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
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)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
by: Craig, Andrew, et al.
Published: (2025)

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)

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

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

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

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

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

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

Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)

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

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

Sound Conflict Analysis for Timed Contract Automata
by: Azzopardi, Shaun, et al.
Published: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

On describing trees and quasi-trees from their leaves
by: Courcelle, Bruno
Published: (2025)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
by: Hozzová, Petra, et al.
Published: (2024)

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

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

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

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
by: Dewes, Rafael, et al.
Published: (2024)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
by: Glomsrud, Jon Arne, et al.
Published: (2024)

Logical foundations of Smart Contracts
by: Kalala, Kalonji
Published: (2025)

Monitoring the Future of Smart Contracts
by: Capretto, Margarita, et al.
Published: (2024)

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

Alignment Contracts for Agentic Security Systems
by: David, Isaac, et al.
Published: (2026)

The Category of Operator Spaces and Complete Contractions
by: Lindenhovius, Bert, et al.
Published: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

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

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Oracle modalities
by: Swan, Andrew W
Published: (2024)

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

The calculus of neo-Peircean relations
by: Bonchi, Filippo, et al.
Published: (2025)