Cover Image

Representing Sugihara monoids via weakening relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Craig, Andrew, Robinson, Claudette
Format:	Preprint
Published:	2023
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)

Pregroup representable expansions of residuated lattices
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)

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

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

Finding Photonics Circuits via $δ$-weakening SMT
by: Lewis, Marco, et al.
Published: (2025)

Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)

Solving promise equations over monoids and groups
by: Larrauri, Alberto, et al.
Published: (2024)

Unbiasing symmetric monoidal categories in Lean
by: Carlier, Robin
Published: (2026)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
by: Goncharov, Sergey
Published: (2024)

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, 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)

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

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

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

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

Representing Pedagogic Content Knowledge Through Rough Sets
by: Mani, A
Published: (2024)

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
by: Vienney, Jean-Baptiste
Published: (2023)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)

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

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

A Theory of Formalisms for Representing Knowledge
by: Zhang, Heng, et al.
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
by: Lyon, Tim S., et al.
Published: (2026)

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

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

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

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

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

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

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
by: Haniková, Zuzana, et al.
Published: (2025)

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