Pages that link to "Item:Q2562773"

The following pages link to On the structural completeness of some pure implicational propositional calculi (Q2562773):

Displaying 13 items.

• On rules (Q266650) (← links)
• A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
• Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
• On structural completeness of implicational logics (Q1181489) (← links)
• Matrix approach in methodology of sentential calculi (Q1229698) (← links)
• Proof of structural completeness of a certain class of implicative propositional calculi (Q1232282) (← links)
• Structural completeness of Gödel's and Dummett's propositional calculi (Q1233020) (← links)
• Admissibility in positive logics (Q1689558) (← links)
• A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
• Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
• Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
• Singly generated quasivarieties and residuated structures (Q5119904) (← links)