:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bulatov, Andrei A.
Format:	Preprint
Veröffentlicht:	2020
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2007.07237
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Local structure of idempotent algebras II
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Modular Counting over 3-Element and Conservative Domains
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2025)

Complexity classification of counting graph homomorphisms modulo a prime number
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2021)

Discrete Homotopy and Promise Constraint Satisfaction Problem
von: Beikmohammadi, Arash, et al.
Veröffentlicht: (2025)

Modular Counting CSP: Reductions and Algorithms
von: Kazeminia, Amirhossein, et al.
Veröffentlicht: (2025)

Satisfiability of commutative vs. non-commutative CSPs
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2024)

The Ideal Membership Problem and Abelian Groups
von: Bulatov, Andrei A., et al.
Veröffentlicht: (2022)

Automatic constraint satisfaction problem
von: Bulatov, Andrei, et al.
Veröffentlicht: (2026)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
von: Barto, Libor, et al.
Veröffentlicht: (2021)

The completeness and congruences of quasi-Boolean algebras
von: Liu, Xiaohao, et al.
Veröffentlicht: (2025)

Varieties of modal algebras without the congruence extension property
von: Gyenis, Zalán, et al.
Veröffentlicht: (2024)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

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

Normative implications
von: De Domenico, Andrea, et al.
Veröffentlicht: (2025)

The tree property on long intervals of regular cardinals
von: Cummings, James, et al.
Veröffentlicht: (2025)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

Separating Subversion Forcing Axioms
von: Sakai, Hiroshi, et al.
Veröffentlicht: (2023)

Separably differentially closed fields
von: Ino, Kai, et al.
Veröffentlicht: (2023)

Foulis-Holland theorem for implicative-orthomodular lattices
von: Ciungu, Lavinia Corina
Veröffentlicht: (2024)

Dynamic Separation Logic
von: de Boer, Frank S., et al.
Veröffentlicht: (2023)

Orthogonality relations and operators on bounded quasi-implication algebras
von: McDonald, Joseph
Veröffentlicht: (2025)

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

Abelian congruences and similarity in varieties with a weak difference term
von: Willard, Ross
Veröffentlicht: (2025)

Separating Many Localisation Cardinals on the Generalised Baire Space
von: van der Vlugt, Tristan
Veröffentlicht: (2022)

Cylindric quasi-implication algebras
von: McDonald, Joseph
Veröffentlicht: (2025)

A simplified lower bound for implicational logic
von: Jeřábek, Emil
Veröffentlicht: (2023)

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

Systematic Design of Separation Logics
von: Bruni, Roberto, et al.
Veröffentlicht: (2026)

Additive systems for $\mathbb{Z}$ are undecidable
von: Zabolotskii, Andrei
Veröffentlicht: (2025)

Bifurcation Logic: Separation Through Ordering
von: Galmiche, Didier, et al.
Veröffentlicht: (2025)

Relative Completeness of Incorrectness Separation Logic
von: Lee, Yeonseok, et al.
Veröffentlicht: (2025)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
von: Lee, Yeonseok, et al.
Veröffentlicht: (2025)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
von: Tzouvaras, Athanassios
Veröffentlicht: (2026)

A syntactic proof of decidability for the logic of bunched implication BI
von: Ramanayake, Revantha
Veröffentlicht: (2016)

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

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

Separable C*-algebras Without the Countable Axiom of Choice
von: Blackadar, Bruce, et al.
Veröffentlicht: (2026)