Image de couverture de livre

Congruence permutability in quasivarieties

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Carai, Luca, Kurtzhals, Miriam, Moraschini, Tommaso
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Bounded depth in Hilbert algebras
par: Carai, Luca, et autres
Publié: (2026)

The theory of implicit operations
par: Carai, Luca, et autres
Publié: (2025)

An addendum to "The theory of implicit operations"
par: Carai, Luca, et autres
Publié: (2025)

A categorical description of simple Beth companions
par: Carai, Luca, et autres
Publié: (2026)

A completion of reduced commutative rings
par: Carai, Luca, et autres
Publié: (2026)

Epimorphisms between finitely generated algebras
par: Carai, Luca, et autres
Publié: (2024)

Implicit operations in varieties of commutative monoids
par: Carai, Luca, et autres
Publié: (2026)

On the universal theory of the free pseudocomplemented distributive lattice
par: Carai, Luca, et autres
Publié: (2024)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
par: Martins, Miguel, et autres
Publié: (2024)

Structural completeness in quasivarieties
par: Aglianó, Paolo, et autres
Publié: (2024)

On covers of quasivarieties of p-algebras
par: Gyenis, Zalán
Publié: (2026)

Trees and spectra of Heyting algebras
par: Fornasiere, Damiano, et autres
Publié: (2024)

Degrees of the finite model property: the antidichotomy theorem
par: Bezhanishvili, Guram, et autres
Publié: (2023)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
par: Abbadini, Marco, et autres
Publié: (2022)

Intuitionistic Sahlqvist theory for deductive systems
par: Fornasiere, Damiano, et autres
Publié: (2022)

Bi-intermediate logics of trees and co-trees
par: Bezhanishvili, N., et autres
Publié: (2022)

Esakia's theorem for the amended monadic intuitionistic calculus
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Failure of Esakia's theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Free algebras and coproducts in varieties of Gödel algebras
par: Carai, Luca
Publié: (2024)

Congruence Preservation, Lattices and Recognizability
par: Cegielski, Patrick, et autres
Publié: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

A choice-free proof of Mal'cev's theorem on quasivarieties
par: Shen, Guozhen
Publié: (2025)

Congruence Closure Modulo Groups
par: Kim, Dohan
Publié: (2023)

Ultracontact algebras and stack systems
par: Carai, Luca, et autres
Publié: (2026)

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
par: Bezhanishvili, Guram, et autres
Publié: (2022)

Congruence Regularity in Ockham Algebras With Balanced Pseudocomplementation
par: Jie Fang
Publié: (2026)

Substitutions of variables are finitely axiomatizable over quantifications and permutations
par: Andréka, Hajnal, et autres
Publié: (2025)

A calculus for modal compact Hausdorff spaces
par: Bezhanishvili, Nick, et autres
Publié: (2024)

Decidability in geometric grid classes of permutations
par: Braunfeld, Samuel
Publié: (2023)

Duality Theory for Bounded Lattices: A Comparative Study
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Logical limit laws for Mallows random permutations
par: Muller, Tobias, et autres
Publié: (2023)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
par: Abbadini, Marco, et autres
Publié: (2025)

Primitive pseudo-finite permutation groups of finite SU-rank
par: Karhumäki, Ulla, et autres
Publié: (2025)

Twin-width and permutations
par: Bonnet, Édouard, et autres
Publié: (2021)

Non-Ground Congruence Closure
par: Leidinger, Hendrik, et autres
Publié: (2024)

Existential and positive games: a comonadic and axiomatic view
par: Abramsky, Samson, et autres
Publié: (2025)

Union of Finitely Generated Congruences on Ground Term Algebra
par: Vágvölgyi, Sándor
Publié: (2024)

An axiomatization of truth and paradoxicality
par: Castaldo, Luca
Publié: (2025)

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)