Function Algebras on Finite Sets

DOI10.1007/3-540-36023-9MaRDI QIDQ5393647zbMATH OpenOpenAlexWikidataFDO

Authors Dietlinde Lau

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

zbMATH Keywords

clonefunction algebramany-valued logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Structure theory of algebraic structures (08A05) Operations and polynomials in algebraic structures, primal algebras (08A40) Partial algebras (08A55)

Recommendations

• scientific article; zbMATH DE number 4004157
• Characteristic of some algebras of functions of many-valued logic
• scientific article; zbMATH DE number 3865246
• scientific article; zbMATH DE number 2172169
• A-classification of functions of many-valued logic
• Many-valued logics and their algebras
• scientific article; zbMATH DE number 609978
• scientific article; zbMATH DE number 1453810
• The S-classification of functions of many-valued logic
• scientific article; zbMATH DE number 59352

Cited in

(only showing first 100 items - show all)

• The complexity of satisfiability problems: Refining Schaefer's theorem
• Closed classes of polynomials modulo p^2
• Pivotal decomposition schemes inducing clones of operations
• Clone-induced approximation algebras of Bernoulli distributions
• Cardinality of the set of delta-closed classes of functions of multi-valued logic
• Polynomially complete quasigroups of prime order
• On the clone of aggregation functions on bounded lattices
• The cardinality of the set of all clones containing a given minimal clone on three elements
• Lewis dichotomies in many-valued logics
• A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic
• The complexity of problems for quantified constraints
• On the efficiency of normal form systems for representing Boolean functions
• Reflections on and of minor-closed classes of multisorted operations
• Reflections and powers of multisorted minions
• Subalgebra lattices of totally reflexive sub-preprimal algebras
• On the number of clonoids
• Classes of functions closed with respect to a special superposition operation
• On the complexity of the clone membership problem
• On closed classes in partial k-valued logic that contain all polynomials
• Continuality of classes of functions in multivalued logic with minimal logarithmic growth rate
• On the cardinality of interval \(\text{Int}(\text{Pol}_k)\) in partial \(k\)-valued logic
• An algebraic theory of clones
• Computational properties of partial non-deterministic matrices and their logics
• 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
• Efficient verification of polynomial completeness of quasigroups
• On classes of functions of many-valued logic with minimal logarithmic growth rate
• Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem
• The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems
• On polymorphism-homogeneous relational structures and their clones.
• The field \(\mathbb F_{8}\) as a Boolean manifold
• On the role of logical connectives for primality and functional completeness of algebras of logics
• The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set
• On some implicitly precomplete classes of monotone functions in P_k
• On dynamic aggregation systems
• Combining fragments of classical logic: when are interaction principles needed?
• The size of generating sets of powers
• On generation of aggregation functions on infinite lattices
• Construction of an infinite set of classes of partial monotone functions of multi-valued logic
• Minimal distance of propositional models
• On the structure of the lattice of classes of partial monotone many-valued logic functions
• On closed classes in partial \(k\)-valued logic that contain the class of monotone functions
• Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions
• Constructing NP-intermediate problems by blowing holes with parameters of various properties
• Dichotomy on intervals of strong partial Boolean clones
• Composition of matrix products and categorical equivalence
• Classes of functions of multi-valued logic closed with respect to superposition and inversion operations
• Monomial clones over \(\mathbb {F}_q\)
• Weak bases of Boolean co-clones
• Equivalent transformations of formulas in \(P_2\).
• The complexity of pseudo-linear functions
• Generation of unary monotone functions of multi-valued logic
• Complexity of functions from some classes of three-valued logic
• Certain sufficient conditions of uniformity for systems of functions of many-valued logic
• On necessary conditions of finite-valued random variable algebraic approximation
• Generation of multivariate quadratic quasigroups by proper families of Boolean functions
• General lower bounds and improved algorithms for infinite-domain CSPs
• Clones with nullary operations.
• Dualizing clones as models of Lawvere theories.
• A short introduction to clones.
• Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis
• Characterization of preclones by matrix collections
• The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set
• Completeness problem for the class of linear automata functions
• Galois theory for clones and superclones
• Characterization of zigzag De Morgan functions
• Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
• scientific article; zbMATH DE number 3865246 (Why is no real title available?)
• Galois theory for semiclones
• The existence of a near-unanimity term in a finite algebra is decidable
• Strong partial clones and the time complexity of SAT problems
• On the last question of Stefan Banach
• SEMIGROUP PROPERTIES OF BOOLEAN OPERATIONS
• SEMIGROUP PROPERTIES OF N-ARY OPERATIONS ON FINITE SETS
• 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
• Algebras of multiplace functions
• Invariant continuous aggregation functions
• scientific article; zbMATH DE number 3920559 (Why is no real title available?)
• scientific article; zbMATH DE number 3972929 (Why is no real title available?)
• Meet-irreducible submaximal clones determined by nontrivial equivalence relations
• Binary central relations and submaximal clones determined by nontrivial equivalence relations.
• Galois theory for sets of operations closed under permutation, cylindrification, and composition
• Ultramodular aggregation functions
• Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones
• Hyperidentities and related concepts. I
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• Hyperidentities and related concepts. II
• Categorical equivalence of clones of operations preserving a nontrivial n-equivalence
• The classification of reversible bit operations
• scientific article; zbMATH DE number 2172169 (Why is no real title available?)
• Completeness criteria for some classes of unary monotone functions in \(P_k\)
• Dualizing clones into categories of topological spaces.
• The ubiquity of conservative translations
• scientific article; zbMATH DE number 6973795 (Why is no real title available?)
• A solution to a problem of D. Lau: complete classification of intervals in the lattice of partial Boolean clones
• On m-junctive predicates on a finite set
• О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE
• On the strength of uniqueness quantification in primitive positive formulas
• On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\)

This page was built for publication: Function Algebras on Finite Sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5393647)