The following pages link to Rules and Derived Rules (Q4049046):
Displaying 23 items.
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Simple consequence relations (Q809992) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- On negation: Pure local rules (Q1775871) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- What is a logic translation? (Q1931306) (← links)
- Replacement in logic (Q1947034) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Characteristic inference rules (Q2342800) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
- An essay in matrix semantics for consequence relations (Q6610498) (← links)
- The logicality of equality (Q6612870) (← links)
