Image de couverture de livre

Expansions of the group $Z_8$ (Part I)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ploščica, Miroslav, Schwartzová, Radka, Varga, Ivana
Format:	Preprint
Publié:	2026
Sujets:	Logic 08A40, 03B50
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
par: Barto, Libor, et autres
Publié: (2024)

Uncountable homogeneous structures
par: Bartoš, Adam, et autres
Publié: (2024)

Mal'cev clones over a three-element set up to minor-equivalence
par: Fioravanti, Stefano, et autres
Publié: (2025)

Clones of Borel Boolean Functions
par: Chen, Ruiyuan, et autres
Publié: (2024)

Testing definitional equivalence of theories via automorphism groups
par: Andréka, H., et autres
Publié: (2022)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
par: Koshkin, Sergiy
Publié: (2024)

The equational theory of the Weihrauch lattice with multiplication
par: Neumann, Eike, et autres
Publié: (2024)

Polymorphism-homogeneity and universal algebraic geometry
par: Tóth, Endre, et autres
Publié: (2020)

Ivo G. Rosenberg's Work on Maximal Clones and Minimal Clones
par: Szendrei, Agnes
Publié: (2024)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
par: Cornejo, Juan M., et autres
Publié: (2024)

Adding $\aleph_ω$ many Cohen reals
par: Marun, Pedro, et autres
Publié: (2025)

Probabilistic equational spectrum, primality and approximation in finite algebras
par: Cardó, Carles
Publié: (2026)

Minimal operations over permutation groups
par: Marimon, Paolo, et autres
Publié: (2024)

Algebraic Type Theory, Part 1: Martin-Löf algebras
par: Awodey, Steve
Publié: (2025)

On the minimization k-valued logic functions in the class of disjunctive normal forms
par: Kabulov, Anvar, et autres
Publié: (2024)

Modular many-valued semantics for combined logics
par: Caleiro, Carlos, et autres
Publié: (2022)

A Basic Łukasiewicz m-valued conditional logic
par: Huo, Shuquan
Publié: (2024)

ST and TS as Product and Sum
par: Blomet, Quentin, et autres
Publié: (2024)

Multiplicative logic in arithmetic
par: Zhuravlov, Volodymyr
Publié: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

An unusual example of a universal automorphism group
par: Sullivan, Rob, et autres
Publié: (2026)

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

Topological semantics for a non-self-extensional LFI
par: Jain, Esha, et autres
Publié: (2025)

On three-valued presentations of classical logic
par: da Ré, Bruno, et autres
Publié: (2023)

Internal Effectful Forcing in System T
par: Escardo, Martin H., et autres
Publié: (2025)

Revisiting Interpolation in Relevant Logics
par: Fussner, Wesley, et autres
Publié: (2025)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

Tense logics based on posets
par: Chajda, Ivan, et autres
Publié: (2024)

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

On some algebraic properties of Plonka sums and regularized varieties
par: Bonzio, S., et autres
Publié: (2026)

Universality properties of forcing
par: Parente, Francesco, et autres
Publié: (2023)

A taxonomy for controlling (in)consistency
par: Coniglio, Marcelo E., et autres
Publié: (2026)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Hierarchical formula classes with respect to semi-classical prenex normalization
par: Fujiwara, Makoto, et autres
Publié: (2025)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
par: Shapirovsky, Ilya B., et autres
Publié: (2025)

On actions and split extensions in varieties of hoops: the case of strong section
par: Mancini, Manuel, et autres
Publié: (2025)

On equationally Noetherian predicate structures
par: Buchinskiy, Ivan, et autres
Publié: (2024)

Generalization of terms via universal algebra
par: Flaminio, Tommaso, et autres
Publié: (2025)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
par: Contente, Michele, et autres
Publié: (2022)

The Golden Path to Guarded Monotone Strict NP
par: Barsukov, Alexey, et autres
Publié: (2023)