The following pages link to (Q3472080):
Displaying 12 items.
- On rules (Q266650) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Rasiowa-Harrop disjunction property (Q2363508) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
