Pages that link to "Item:Q4522842"

The following pages link to On expressibility of functions of many-valued logic in some logical-functional languages (Q4522842):

Displaying 21 items.

• Operator of positive closure (Q416948) (← links)
• The expressive unary truth functions of \(n\)-valued logic (Q558444) (← links)
• On the enumeration closure operator in multivalued logic (Q893188) (← links)
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281) (← links)
• Basic positively closed classes in three-valued logic (Q1669569) (← links)
• Calculating the number of functions with a given endomorphism (Q1735209) (← links)
• FE classification of functions of many-valued logic (Q1759121) (← links)
• The expressive truth conditions of two-valued logic (Q1882401) (← links)
• On the action of the implicative closure operator on the set of partial functions of the multivalued logic (Q2050224) (← links)
• Completeness criterion with respect to the enumeration closure operator in the three-valued logic (Q2088721) (← links)
• Classification of multioperations of rank 2 by \(E\)-precomplete sets (Q2228432) (← links)
• The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set (Q2280349) (← links)
• Completeness criterion for the enumeration closure operator in three-valued logic (Q2295970) (← links)
• Closure operators with positive connectives and quantifiers (Q2364246) (← links)
• Parametric closed classes of hyperfunctions on two-element set (Q2627176) (← links)
• Formalisations of Many‐Valued Propositional Calculi with Variable Functors (Q3347858) (← links)
• Extensions of the Positive Closure Operator by Using Logical Connectives (Q4973230) (← links)
• (Q5665127) (← links)
• E-closed Sets of Hyperfunctions on Two-Element Se (Q5859206) (← links)
• Logical extensions of the parametric closure operator (Q6548978) (← links)
• On implicit extensions in many-valued logic (Q6647131) (← links)