On some closed classes in partial two-valued logic

DOI10.1515/DMA.1994.4.5.401zbMATH Open0818.06013OpenAlexW2111161140MaRDI QIDQ3835754FDOQ3835754

Authors: 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

Recommendations

• On closed classes in partial \(k\)-valued logic that contain the class of monotone functions
• The mimber of functions in some closed classes of partial k-valued logic
• Positively closed classes of partial Boolean functions
• scientific article; zbMATH DE number 4075052
• On closed classes containing precomplete classes of the set of all one-place functions

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)

Cited In (26)

• The closure operator with the equality predicate branching on the set of partial Boolean functions
• On the lattice of \(ES_I\)-closed classes of multifunctions on two-elements set
• Title not available (Why is that?)
• Dichotomy on intervals of strong partial Boolean clones
• On the structure of the lattice of classes of partial monotone many-valued logic functions
• Weak bases of Boolean co-clones
• A solution to a problem of D. Lau: complete classification of intervals in the lattice of partial Boolean clones
• Minimal partial ultraclones on a two-element set.
• On two intervals in the lattice of partial ultraclones of rank 2
• A-closed classes of many-valued logic containing constants
• Positively closed classes of partial Boolean functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• The predicate method to construct the Post lattice
• 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
• Strong partial clones and the time complexity of SAT problems
• On closed classes in partial \(k\)-valued logic that contain the class of monotone functions
• Description of all minimal classes in the partially ordered set \(\mathcal L_2^3\) of closed classes of the three-valued logic that can be homomorphically mapped onto the two-valued logic
• On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\)
• The completeness problem in the function algebra of linear integer-coefficient polynomials
• Classification of the Maximal Clones of Two-Valued Logic
• On the cardinality of interval \(\text{Int}(\text{Pol}_k)\) in partial \(k\)-valued logic
• Construction of an infinite set of classes of partial monotone functions of multi-valued logic
• A family of closed classes in \(k\)-valued logic
• Partial Polymorphisms and Constraint Satisfaction Problems

This page was built for publication: On some closed classes in partial two-valued logic

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