Pages that link to "Item:Q300835"
From MaRDI portal
The following pages link to Consequence relations and admissible rules (Q300835):
Displayed 15 items.
- Admissible bases via stable canonical rules (Q284230) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Cofinal stable logics (Q514517) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- The Context of Inference (Q5208107) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- The Deduction Theorem (Before and After Herbrand) (Q6098653) (← links)
- Structural completeness and superintuitionistic inquisitive logics (Q6118689) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)