Positively closed classes of three-valued logic

DOI10.1134/S1990478914020124MaRDI QIDQ5264727zbMATH OpenFDO

Authors S. S. Marchenkov

Publication date 27 July 2015

Published in Journal of Applied and Industrial Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S1990478914020124

zbMATH Keywords

functions of three-valued logicpositive closure operator

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Basic positively closed classes in three-valued logic
• Positively closed classes of three-valued logic generated by one-place functions
• Discriminator positively complete classes of ternary logic
• Closed classed of three-valued logic that contain essentially multiplace functions
• Atoms of the lattice of positively closed classes of three-valued logic

Cited in

(25)

• Basic positively closed classes in three-valued logic
• Calculating the number of functions with a given endomorphism
• On the action of the implicative closure operator on the set of partial functions of the multivalued logic
• Implicit expressibility in multiple-valued logic
• Completeness criterion for the enumeration closure operator in three-valued logic
• Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions
• Closure operators with positive connectives and quantifiers
• Parametric closed classes of hyperfunctions on two-element set
• A criterion of model completeness for the closed classes of 3-valued logic
• The S-classification of three-valued logic functions.
• Closed classed of three-valued logic that contain essentially multiplace functions
• On closed classes of functions of k-valued logics defined by a single endomorphism
• A criterion for positive completeness in ternary logic
• Discriminator positively complete classes of ternary logic
• scientific article; zbMATH DE number 3885874 (Why is no real title available?)
• Positively closed classes of three-valued logic generated by one-place functions
• scientific article; zbMATH DE number 4035787 (Why is no real title available?)
• scientific article; zbMATH DE number 468645 (Why is no real title available?)
• Atoms of the lattice of positively closed classes of three-valued logic
• On the existence of a criterion of model completeness for the closed classes of 3-valued functions
• Definition of positively closed classes by endomorphism semigroups
• scientific article; zbMATH DE number 2207281 (Why is no real title available?)
• scientific article; zbMATH DE number 4189696 (Why is no real title available?)
• Implicatively implicit extensions in three-valued logic
• On positive completeness and positively closed sets of multifunctions of rank 2

This page was built for publication: Positively closed classes of three-valued logic

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