Rules and Derived Rules

DOI10.1007/978-94-010-2191-3_13zbMath0296.02012OpenAlexW1555947437MaRDI QIDQ4049046

Dana S. Scott

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (23)

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 ⋮ An essay in matrix semantics for consequence relations ⋮ The logicality of equality ⋮ 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