:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Craig, Andrew, Jipsen, Peter, Robinson, Claudette
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2505.07789
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Representable distributive quasi relation algebras
por: Craig, Andrew, et al.
Publicado: (2023)

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

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

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

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

Balanced residuated partially ordered semigroups
por: Bonzio, Stefano, et al.
Publicado: (2025)

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

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

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

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

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

Observation algebras: Heyting algebra over coherence spaces
por: Brunet, Paul
Publicado: (2025)

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

Local structure of idempotent algebras I
por: Bulatov, Andrei A.
Publicado: (2020)

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

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

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

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

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

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

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

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

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

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

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

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

Local structure of idempotent algebras II
por: Bulatov, Andrei A.
Publicado: (2020)

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

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

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

Duality for finitely valued algebras
por: Abbadini, Marco, et al.
Publicado: (2025)

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

Separating domains from algebraic domains
por: Jia, Xiaodong, et al.
Publicado: (2025)

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

Frex: dependently-typed algebraic simplification
por: Allais, Guillaume, et al.
Publicado: (2023)

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

Reasoning about distributive laws in a concurrent refinement algebra
por: Meinicke, Larissa A., et al.
Publicado: (2024)

Generalization of terms via universal algebra
por: Flaminio, Tommaso, et al.
Publicado: (2025)

An algebra modality admitting countably many deriving transformations
por: Vienney, Jean-Baptiste
Publicado: (2025)