On some closed classes in partial two-valued logic

DOI10.1515/dma.1994.4.5.401zbMath0818.06013OpenAlexW2111161140MaRDI QIDQ3835754

V. B. Alekseev, A. A. Voronenko

Publication date: 22 May 1995

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma.1994.4.5.401

zbMATH Keywords

precomplete classeslattice of closed classestwo-valued logicpartial two-valued functions

Mathematics Subject Classification ID

Classical propositional logic (03B05) Boolean functions (06E30) Logical aspects of Boolean algebras (03G05)

Related Items

Minimal partial ultraclones on a two-element set. ⋮ On the lattice of \(ES_I\)-closed classes of multifunctions on two-elements set ⋮ The closure operator with the equality predicate branching on the set of partial Boolean functions ⋮ Strong partial clones and the time complexity of SAT problems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weak bases of Boolean co-clones ⋮ The completeness problem in the function algebra of linear integer-coefficient polynomials ⋮ On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\) ⋮ Positively closed classes of partial Boolean functions ⋮ On the action of the implicative closure operator on the set of partial functions of the multivalued logic ⋮ On closed classes in partial \(k\)-valued logic that contain all polynomials ⋮ Construction of an infinite set of classes of partial monotone functions of multi-valued logic ⋮ 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 ⋮ Partial Polymorphisms and Constraint Satisfaction Problems ⋮ On the cardinality of interval \(\text{Int}(\text{Pol}_k)\) in partial \(k\)-valued logic ⋮ Dichotomy on intervals of strong partial Boolean clones