:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ploščica, Miroslav, Schwartzová, Radka, Varga, Ivana
Format:	Preprint
Published:	2026
Subjects:	Logic 08A40, 03B50
Online Access:	https://arxiv.org/abs/2601.16553
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
by: Barto, Libor, et al.
Published: (2024)

Mal'cev clones over a three-element set up to minor-equivalence
by: Fioravanti, Stefano, et al.
Published: (2025)

Uncountable homogeneous structures
by: Bartoš, Adam, et al.
Published: (2024)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)

Clones of Borel Boolean Functions
by: Chen, Ruiyuan, et al.
Published: (2024)

The equational theory of the Weihrauch lattice with multiplication
by: Neumann, Eike, et al.
Published: (2024)

Polymorphism-homogeneity and universal algebraic geometry
by: Tóth, Endre, et al.
Published: (2020)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

Ivo G. Rosenberg's Work on Maximal Clones and Minimal Clones
by: Szendrei, Agnes
Published: (2024)

Minimal operations over permutation groups
by: Marimon, Paolo, et al.
Published: (2024)

Adding $\aleph_ω$ many Cohen reals
by: Marun, Pedro, et al.
Published: (2025)

Probabilistic equational spectrum, primality and approximation in finite algebras
by: Cardó, Carles
Published: (2026)

Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

An unusual example of a universal automorphism group
by: Sullivan, Rob, et al.
Published: (2026)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

On the minimization k-valued logic functions in the class of disjunctive normal forms
by: Kabulov, Anvar, et al.
Published: (2024)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Universality properties of forcing
by: Parente, Francesco, et al.
Published: (2023)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

On some algebraic properties of Plonka sums and regularized varieties
by: Bonzio, S., et al.
Published: (2026)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

A taxonomy for controlling (in)consistency
by: Coniglio, Marcelo E., et al.
Published: (2026)

Generalization of terms via universal algebra
by: Flaminio, Tommaso, et al.
Published: (2025)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
by: Shapirovsky, Ilya B., et al.
Published: (2025)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

Varieties defined by linear equations have the amalgamation property
by: Lipparini, Paolo
Published: (2021)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)