Pages that link to "Item:Q1038654"

The following pages link to Structural completeness in fuzzy logics (Q1038654):

Displaying 22 items.

• On rules (Q266650) (← links)
• Almost structural completeness; an algebraic approach (Q278762) (← links)
• A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
• Structural completeness in relevance logics (Q295911) (← links)
• Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
• On structural completeness of implicational logics (Q1181489) (← links)
• Implicative subreducts of MV-algebras: free and weakly projective objects (Q1689298) (← links)
• Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
• Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
• Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
• Proof of theorems in fuzzy logic based on structural resolution (Q2320255) (← links)
• Admissibility in De Morgan algebras (Q2391905) (← links)
• BCK is not structurally complete (Q2452677) (← links)
• Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
• Criteria for the completeness of algorithms for fuzzy marking (Q2836651) (← links)
• (Q3353000) (← links)
• UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
• Structural Completeness in Substructural Logics (Q3544316) (← links)
• Checking Admissibility Using Natural Dualities (Q4617979) (← links)
• On structural completeness versus almost structural completeness problem: A discriminator varieties case study (Q4644511) (← links)
• Singly generated quasivarieties and residuated structures (Q5119904) (← links)
• Structural and universal completeness in algebra and logic (Q6145037) (← links)