Function Algebras on Finite Sets
From MaRDI portal
Publication:5393647
DOI10.1007/3-540-36023-9zbMath1105.08001OpenAlexW4236959295WikidataQ61714513 ScholiaQ61714513MaRDI QIDQ5393647
Publication date: 23 October 2006
Published in: Springer Monographs in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-36023-9
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure theory of algebraic structures (08A05) Operations and polynomials in algebraic structures, primal algebras (08A40) Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items (only showing first 100 items - show all)
The Classification of Reversible Bit Operations ⋮ О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ Unnamed Item ⋮ Unnamed Item ⋮ All centralising monoids with majority witnesses on a four-element set ⋮ Proper families of functions and their applications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the minimality of some generating sets of the aggregation clone on a finite chain ⋮ An envelope operator for full convexity to define polyhedral models in digital spaces ⋮ Visualizing polymorphisms and counter-polymorphisms in S5 modal logic ⋮ The lattice of clones of self-dual operations collapsed ⋮ On the three-valued expansions of Kleene's logic ⋮ Full convexity for polyhedral models in digital spaces ⋮ New substitution bases for complexity classes ⋮ Surjective polymorphisms of directed reflexive cycles ⋮ Categorical equivalence of clones of operations preserving a nontrivial n-equivalence ⋮ THE UBIQUITY OF CONSERVATIVE TRANSLATIONS ⋮ A Generalized Version of the Baker–Pixley Theorem ⋮ Unnamed Item ⋮ Axiomatization of non-associative generalisations of Hájek's BL and psBL ⋮ On m-Junctive Predicates on a Finite Set ⋮ Meet-reducible submaximal clones determined by two central relations ⋮ Unnamed Item ⋮ A complete classification of equational classes of threshold functions included in clones ⋮ Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help? ⋮ Basics of Galois Connections ⋮ Partial Polymorphisms and Constraint Satisfaction Problems ⋮ On some Sufficient Condition for the Equality of Multi-clone and Super-clone ⋮ E-closed Sets of Hyperfunctions on Two-Element Se ⋮ Effective theories for circuits and automata ⋮ An algebraic theory of clones ⋮ Clones with nullary operations. ⋮ Dualizing clones as models of Lawvere theories. ⋮ A short introduction to clones. ⋮ Composition of matrix products and categorical equivalence ⋮ The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set ⋮ Characterization of zigzag De Morgan functions ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Completeness problem for the class of linear automata functions ⋮ Galois theory for clones and superclones ⋮ Computational properties of partial non-deterministic matrices and their logics ⋮ Galois theory for semiclones ⋮ Strong partial clones and the time complexity of SAT problems ⋮ Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis ⋮ On the last question of Stefan Banach ⋮ Behavior of the Shannon function for some families of classes of three-valued logic functions ⋮ Uniformity of a certain systems of functions of many-valued logic ⋮ Classes of functions of multi-valued logic closed with respect to superposition and inversion operations ⋮ On necessary conditions of finite-valued random variable algebraic approximation ⋮ Closed classes of polynomials modulo \(p^2\) ⋮ Closed classes of functions, generalized constraints, and clusters ⋮ Meet-irreducible submaximal clones determined by nontrivial equivalence relations ⋮ Remarks on the Gupta-Belnap fixed-point property fork-valued clones ⋮ Generation of multivariate quadratic quasigroups by proper families of Boolean functions ⋮ Monomial clones over \(\mathbb {F}_q\) ⋮ The cardinality of the set of all clones containing a given minimal clone on three elements ⋮ Lewis dichotomies in many-valued logics ⋮ Totally symmetric functions are reconstructible from identification minors ⋮ A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic ⋮ Binary central relations and submaximal clones determined by nontrivial equivalence relations. ⋮ Galois theory for sets of operations closed under permutation, cylindrification, and composition ⋮ Binary generating set of the clone of idempotent aggregation functions on bounded lattices ⋮ On generating sets of the clone of aggregation functions on finite lattices ⋮ Pivotal decomposition schemes inducing clones of operations ⋮ Uniqueness of minimal coverings of maximal partial clones ⋮ Ultramodular aggregation functions ⋮ SEMIGROUP PROPERTIES OF BOOLEAN OPERATIONS ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ SEMIGROUP PROPERTIES OF N-ARY OPERATIONS ON FINITE SETS ⋮ Efficient verification of polynomial completeness of quasigroups ⋮ General lower bounds and improved algorithms for infinite-domain CSPs ⋮ On classes of functions of many-valued logic with minimal logarithmic growth rate ⋮ Clone-induced approximation algebras of Bernoulli distributions ⋮ The complexity of problems for quantified constraints ⋮ Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras ⋮ Weak bases of Boolean co-clones ⋮ Completeness criteria for some classes of unary monotone functions in \(P_k\) ⋮ Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem ⋮ Cardinality of the set of delta-closed classes of functions of multi-valued logic ⋮ Polynomially complete quasigroups of prime order ⋮ Dualizing clones into categories of topological spaces. ⋮ The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems ⋮ On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\) ⋮ On the efficiency of normal form systems for representing Boolean functions ⋮ Reflections on and of minor-closed classes of multisorted operations ⋮ On the clone of aggregation functions on bounded lattices ⋮ Key (critical) relations preserved by a weak near-unanimity function ⋮ Reflections and powers of multisorted minions ⋮ Subalgebra lattices of totally reflexive sub-preprimal algebras ⋮ Clones with finitely many relative \({\mathcal R}\)-classes ⋮ Invariant continuous aggregation functions ⋮ On polymorphism-homogeneous relational structures and their clones. ⋮ The field \(\mathbb F_{8}\) as a Boolean manifold ⋮ On the number of clonoids ⋮ Minors of Boolean functions with respect to clique functions and hypergraph homomorphisms ⋮ On the role of logical connectives for primality and functional completeness of algebras of logics ⋮ Classes of functions closed with respect to a special superposition operation ⋮ Generalized modal satisfiability
This page was built for publication: Function Algebras on Finite Sets
