Cover Image

Generation and decidability for periodic l-pregroups

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Galatos, Nikolaos, Gallardo, Isis A.
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)

Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

The domino problem is decidable for robust tilesets
by: Aubrun, Nathalie, et al.
Published: (2024)

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

Intuitionistic modal logic LIK4 is decidable
by: Balbiani, Philippe, et al.
Published: (2025)

Universal quantification makes automatic structures hard to decide
by: Haase, Christoph, et al.
Published: (2023)

A syntactic proof of decidability for the logic of bunched implication BI
by: Ramanayake, Revantha
Published: (2016)

The Fertile Steppe: Computability Logic and the decidability of one of its fragments
by: Spadoni, Stella
Published: (2025)

On the local consequence of modal Product logic: standard completeness and decidability
by: Vidal, Amanda
Published: (2023)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
by: Aceto, Luca, et al.
Published: (2024)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
by: Balbiani, Philippe, et al.
Published: (2025)

Definability and decidability for rings of integers in totally imaginary fields
by: Springer, Caleb
Published: (2022)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
by: Soldevila, Mallku, et al.
Published: (2024)

Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)

Consistency of P-time event graphs is decidable in polynomial time (extended version)
by: Zorzenon, Davide, et al.
Published: (2023)

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Scott analysis, linear orders and almost periodic functions
by: Gonzalez, David, et al.
Published: (2024)

Turing machines deciders, part I
by: The bbchallenge Collaboration, et al.
Published: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
by: Canfora, Fabrizio, et al.
Published: (2025)

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

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
by: Gasquet, Olivier
Published: (2025)

Generic Generators
by: Sargsyan, Grigor
Published: (2023)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Two variable logic with ultimately periodic counting
by: Benedikt, Michael, et al.
Published: (2020)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Dimension of Generic Reals
by: Miao, Yiping
Published: (2026)

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

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Generalizations of quantum-Wajsberg algebras
by: Ciungu, Lavinia Corina
Published: (2024)

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

Internal Categoricity and the Generic Multiverse
by: Meadows, Toby
Published: (2025)

Generic Stability and Modes of Convergence
by: Khanaki, Karim
Published: (2022)