:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ashale, Tekalign Regasa, Abebe, Girum Aklilu, Venkateswarlu, Kolluru
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2402.01906
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)

Geometry of Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
by: Milosavljevic, Aleksandar, et al.
Published: (2022)

Monoid Structures on Indexed Containers
by: De Pascalis, Michele, et al.
Published: (2025)

Enumeration of Finite Distance Monoids
by: Luo, Yunjie, et al.
Published: (2025)

A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
by: Stokes-Waters, John
Published: (2026)

Monoidal Width
by: Di Lavore, Elena, et al.
Published: (2022)

A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)

String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

Coinductive Streams in Monoidal Categories
by: Di Lavore, Elena, et al.
Published: (2022)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)

Monoidal Context Theory
by: Román, Mario
Published: (2024)

Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)

String Diagrams for Closed Symmetric Monoidal Categories
by: Reader, Callum, et al.
Published: (2025)

Interacting Monoidal Structures with Applications in Computing
by: Cranch, James, et al.
Published: (2024)

Symmetric Monoidal Smash Products in Homotopy Type Theory
by: Ljungström, Axel
Published: (2024)

Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
by: Tiurin, Aleksei, et al.
Published: (2024)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
by: Lobbia, Gabriele, et al.
Published: (2024)

Program Logics via Distributive Monoidal Categories
by: Bonchi, Filippo, et al.
Published: (2025)

Egorov ideals
by: Kwela, Adam
Published: (2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

Generically Computable Linear Orderings
by: Calvert, Wesley, et al.
Published: (2024)

sp-Homogeneous Linear Orderings
by: Calvert, Wesley, et al.
Published: (2025)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
by: Kocsis, Bálint, et al.
Published: (2024)

Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
by: Hils, Martin, et al.
Published: (2023)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Saturated ideals from Laver collapses
by: Eskew, Monroe
Published: (2024)

On ideals related to Laver and Miller trees
by: Cieślak, Aleksander, et al.
Published: (2023)

Comparing forcing approaches to dense ideals
by: Eskew, Monroe
Published: (2025)

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

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Isomorphic Subtypes in a Finite Generalized Ordered Type
by: Joseph, Jean S.
Published: (2025)