Positively closed classes of three-valued logic

DOI10.1134/S1990478914020124zbMATH Open1324.03004MaRDI QIDQ5264727FDOQ5264727

Authors: S. S. Marchenkov 

Publication date: 27 July 2015

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

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

zbMATH Keywords

functions of three-valued logicpositive closure operator

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (25)

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

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)