:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bulatov, Andrei A.
Format:	Preprint
Published:	2020
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2007.07237
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Local structure of idempotent algebras II
by: Bulatov, Andrei A.
Published: (2020)

Modular Counting over 3-Element and Conservative Domains
by: Bulatov, Andrei A., et al.
Published: (2025)

Complexity classification of counting graph homomorphisms modulo a prime number
by: Bulatov, Andrei A., et al.
Published: (2021)

Discrete Homotopy and Promise Constraint Satisfaction Problem
by: Beikmohammadi, Arash, et al.
Published: (2025)

Modular Counting CSP: Reductions and Algorithms
by: Kazeminia, Amirhossein, et al.
Published: (2025)

Satisfiability of commutative vs. non-commutative CSPs
by: Bulatov, Andrei A., et al.
Published: (2024)

The Ideal Membership Problem and Abelian Groups
by: Bulatov, Andrei A., et al.
Published: (2022)

Automatic constraint satisfaction problem
by: Bulatov, Andrei, et al.
Published: (2026)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
by: Barto, Libor, et al.
Published: (2021)

The completeness and congruences of quasi-Boolean algebras
by: Liu, Xiaohao, et al.
Published: (2025)

Varieties of modal algebras without the congruence extension property
by: Gyenis, Zalán, et al.
Published: (2024)

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)

What is the weakest idempotent Maltsev condition that implies that abelian tolerances generate abelian congruences?
by: Kearnes, Keith A., et al.
Published: (2024)

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

The tree property on long intervals of regular cardinals
by: Cummings, James, et al.
Published: (2025)

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

Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)

Separating Subversion Forcing Axioms
by: Sakai, Hiroshi, et al.
Published: (2023)

Separably differentially closed fields
by: Ino, Kai, et al.
Published: (2023)

Foulis-Holland theorem for implicative-orthomodular lattices
by: Ciungu, Lavinia Corina
Published: (2024)

Dynamic Separation Logic
by: de Boer, Frank S., et al.
Published: (2023)

Orthogonality relations and operators on bounded quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
by: Bozzelli, L., et al.
Published: (2022)

Abelian congruences and similarity in varieties with a weak difference term
by: Willard, Ross
Published: (2025)

Separating Many Localisation Cardinals on the Generalised Baire Space
by: van der Vlugt, Tristan
Published: (2022)

Cylindric quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
by: Hoffelner, Stefan
Published: (2025)

Systematic Design of Separation Logics
by: Bruni, Roberto, et al.
Published: (2026)

Additive systems for $\mathbb{Z}$ are undecidable
by: Zabolotskii, Andrei
Published: (2025)

Bifurcation Logic: Separation Through Ordering
by: Galmiche, Didier, et al.
Published: (2025)

Relative Completeness of Incorrectness Separation Logic
by: Lee, Yeonseok, et al.
Published: (2025)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
by: Lee, Yeonseok, et al.
Published: (2025)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
by: Tzouvaras, Athanassios
Published: (2026)

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

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

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
by: Jung, Jean Christoph, et al.
Published: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
by: Su, Wanyun, et al.
Published: (2024)

Separable C*-algebras Without the Countable Axiom of Choice
by: Blackadar, Bruce, et al.
Published: (2026)