:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Laboska, Gabriela
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2504.09235
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algebraic Reasoning over Relational Structures
by: Jurka, Jan, et al.
Published: (2024)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Regular expressions over countable words
by: Colcombet, Thomas, et al.
Published: (2025)

Algebraic Characterizations of Classes of Regular Languages in DynFO
by: Barloy, Corentin, et al.
Published: (2026)

Partition theorems for expanded trees
by: Shelah, Saharon
Published: (2021)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
by: Katsura, Hiroyuki, et al.
Published: (2025)

Algebraic Structure of Quantum Controlled States and Operators
by: Agnew, Edwin, et al.
Published: (2026)

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

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)

Partition genericity and pigeonhole basis theorems
by: Monin, Benoit, et al.
Published: (2022)

Partitions of Baire space into compact sets
by: Fischer, Vera, et al.
Published: (2023)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)

Algebraic characterisation of pseudo-elementary and second-order classes
by: Ivanyos, János Balázs
Published: (2026)

Lowerbounds for Bisimulation by Partition Refinement
by: Groote, Jan Friso, et al.
Published: (2022)

Semi-Algebraic Proof Systems for QBF
by: Beyersdorff, Olaf, et al.
Published: (2025)

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
by: Winter, Michael
Published: (2023)

Pebble Games and Algebraic Proof Systems
by: Jaser, Lisa-Marie, et al.
Published: (2025)

Univalent Foundations of Constructive Algebraic Geometry
by: Zeuner, Max
Published: (2024)

Algebraic Semantics for the Logic of Proofs
by: Parsa, Amir Farahmand, et al.
Published: (2021)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

Regular non-normal modal classicalities
by: Freire, Alfredo Roque, et al.
Published: (2026)

Deontic Action Logics: A Modular Algebraic Perspective
by: Areces, Carlos, et al.
Published: (2025)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
by: Fiuk, Oskar, et al.
Published: (2025)

A Deductive Refinement Calculus for Differential-Algebraic Programs
by: Hellwig, Jonathan, et al.
Published: (2026)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)

Counting Theorems for Algebraic Relations
by: Binyamini, Gal, et al.
Published: (2026)

Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
by: Maxa, Martin
Published: (2026)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)

Algebraic and algorithmic synergies between promise and infinite-domain CSPs
by: Mottet, Antoine
Published: (2025)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
by: Forsman, David
Published: (2024)

Generalized Effective Reducibility
by: Carl, Merlin
Published: (2016)

Regular Typed Unification
by: Barbosa, João, et al.
Published: (2024)

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

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals
by: Fatalini, Azul
Published: (2025)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
by: Bezem, Marc, et al.
Published: (2026)