Rules and Derived Rules
From MaRDI portal
Publication:4049046
DOI10.1007/978-94-010-2191-3_13zbMath0296.02012OpenAlexW1555947437MaRDI QIDQ4049046
Publication date: 1974
Published in: Logical Theory and Semantic Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-010-2191-3_13
Related Items (21)
Deductive systems with unified multiple-conclusion rules ⋮ Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ What is a logic translation? ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Unified deductive systems: an outline ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Replacement in logic ⋮ A meta-logic of inference rules: Syntax ⋮ An intriguing logic with two implicational connectives ⋮ A survey of nonstandard sequent calculi ⋮ Fragments of R-mingle ⋮ On negation: Pure local rules ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ The revival of rejective negation ⋮ Does the Implication Elimination Rule Need a Minor Premise? ⋮ Characteristic inference rules ⋮ Simple consequence relations ⋮ Rules in relevant logic. I: Semantic classification
This page was built for publication: Rules and Derived Rules
