scientific article; zbMATH DE number 1544631
From MaRDI portal
Publication:4520903
zbMath0965.03074MaRDI QIDQ4520903
Publication date: 18 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Galois connectionBoolean functionsclosuresPost classestruth functionsBoolean predicatesfunction vectorsGalois-closed classesposet of closed classes
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (18)
Closure operators with positive connectives and quantifiers ⋮ On the lattice of \(ES_I\)-closed classes of multifunctions on two-elements set ⋮ Parametric closed classes of hyperfunctions on two-element set ⋮ Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes ⋮ On the enumeration closure operator in multivalued logic ⋮ The algebraic structure of the densification and the sparsification tasks for CSPs ⋮ Reduction theorems in the social choice theory ⋮ Mixed id-expansion of multivalued logic functions ⋮ Closed classes containing a homogeneous function class ⋮ On orders of closed classes containing a homogeneous switching function ⋮ On the structure of equationally closed classes ⋮ Positively closed classes of partial Boolean functions ⋮ Infinitely generated classes of 01-functions of three-valued logic ⋮ Equational closure ⋮ On the structure of partially ordered sets of Boolean degrees ⋮ Unnamed Item ⋮ Orders of discriminator classes in multivalued logic ⋮ To the problem of expressibility in the algebra of partial Boolean functions
This page was built for publication: