Rules and Derived Rules
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 12919
- On rules
- Derivability of admissible rules
- scientific article; zbMATH DE number 3557753
- Canonical rules
- scientific article; zbMATH DE number 2064306
- Multi-dimensional rules
- Derivability of rules from rule complexes
- scientific article; zbMATH DE number 1304704
Cited in
(29)- Rules in relevant logic. I: Semantic classification
- The revival of rejective negation
- Fragments of R-mingle
- On negation: Pure local rules
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- What is a logic translation?
- Replacement in logic
- Deviations from rules-based policy and their effects
- Policy rules in practice
- A survey of nonstandard sequent calculi
- Deductive systems with multiple-conclusion rules and the disjunction property
- Characteristic inference rules
- A meta-logic of inference rules: syntax
- Does the implication elimination rule need a minor premise?
- scientific article; zbMATH DE number 1304704 (Why is no real title available?)
- scientific article; zbMATH DE number 1956550 (Why is no real title available?)
- scientific article; zbMATH DE number 6902501 (Why is no real title available?)
- Deductive systems with unified multiple-conclusion rules
- Constructions of copy rules
- The pleasures of anticipation: Enriching intuitionistic logic
- Tarskian consequence relations bilaterally: some familiar notions
- Unified deductive systems: an outline
- WHAT IS A RULE OF INFERENCE?
- An essay in matrix semantics for consequence relations
- The logicality of equality
- An intriguing logic with two implicational connectives
- Simple consequence relations
- Reflecting rules: a note on generalizing the deduction theorem
This page was built for publication: Rules and Derived Rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4049046)
