The following pages link to (Q5616120):
Displayed 17 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- The deducibilities of S5 (Q1159660) (← links)
- On structural completeness of implicational logics (Q1181489) (← links)
- Structural completeness of Gödel's and Dummett's propositional calculi (Q1233020) (← links)
- Derivability of admissible rules (Q1245932) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Deciding active structural completeness (Q2288335) (← links)
- BCK is not structurally complete (Q2452677) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Structural completeness and superintuitionistic inquisitive logics (Q6118689) (← links)