scientific article; zbMATH DE number 3654117
combinational automatacompleteness of k-valued logicfunction algebraheterogeneous automatainvariant relationsmany-sorted algebraspermutation groupsrealization of three-valued logic functions and relationsrelation algebrassemigroups of transformationssubgroups of symmetric groups
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Other algebras related to logic (03G25) Subgroups of symmetric groups (20B35) Semigroups of transformations, relations, partitions, etc. (20M20) Formal languages and automata (68Q45)
- A characterization of Sheffer functions by hyperidentities
- Many-sorted algebras in congruence modular varieties
- On the local closure of clones on countable sets
- A clonoid based approach to some finiteness results in universal algebraic geometry
- Invariance groups of functions and related Galois connections
- Closed sets of finitary functions between finite fields of coprime order
- Invariance groups of finite functions and orbit equivalence of permutation groups.
- Term operations in \(\mathcal{V}(N_5)\)
- Lattices of equivalence relations closed under the operations of relation algebras
- All creatures great and small
- Finite generation of congruence preserving functions
- Meet-irreducible submaximal clones determined by nontrivial equivalence relations
- On k-ary parts of maximal clones
- Generalized quasiorders and the Galois connection End-gQuord
- Generalized quasiorders: constructions and characterizations
- Algebraic and topological closure conditions for classes of pseudo-Boolean functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3853626)
