Cover Image

Pregroup representable expansions of residuated lattices

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Craig, Andrew, 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

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

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

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

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

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

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

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

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

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

Non-expansive Fuzzy ALC
by: Gebhart, Stefan, et al.
Published: (2025)

Coherent Taylor expansion as a bimonad
by: Ehrhard, Thomas, et al.
Published: (2023)

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

Compositional Taylor expansion in cartesian differential categories
by: Walch, Aymeric
Published: (2025)

Absolute convergence and Taylor expansion in web based models of Linear Logic
by: Tasson, Christine, et al.
Published: (2026)

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

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

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
by: Wrona, Michal
Published: (2024)

On the horizontal compression of dag-derivations in minimal purely implicational logic
by: Haeusler, Edward Hermann, et al.
Published: (2022)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
by: Mironov, Andrew M.
Published: (2025)

Weakening Goals in Logical Specifications
by: Andrew, Ben M.
Published: (2025)

Property Directed Reachability with Extended Resolution
by: Luka, Andrew, et al.
Published: (2025)

Gelfand residuated lattices
by: Rasouli, Saeed, et al.
Published: (2022)

A 2-adjunction between representations and preorder morphisms
by: Brunet, Paul
Published: (2026)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

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

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

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

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)