Classically Archetypal Rules

Tomasz Połacik, Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

Abstract

A one-premiss rule is said to be archetypal for a consequence relation when not only is the conclusion of any application of the rule a consequence (according to that relation) of the premiss, but whenever one formula has another as a consequence, these formulas are respectively equivalent to a premiss and a conclusion of some application of the rule. We are concerned here with the consequence relation of classical propositional logic and with the task of extending the above notion of archetypality to rules with more than one premiss, and providing an informative characterization of the set of rules falling under the more general notion.

Original languageEnglish
Pages (from-to)279-294
Number of pages16
JournalReview of Symbolic Logic
Volume11
Issue number2
DOIs
Publication statusPublished - 1 Jun 2018

Keywords

  • archetypal rules
  • consequence relations
  • inference rules

Cite this

Połacik, Tomasz ; Humberstone, Lloyd. / Classically Archetypal Rules. In: Review of Symbolic Logic. 2018 ; Vol. 11, No. 2. pp. 279-294.
@article{8d566433189e487599a8144b2c50634d,
title = "Classically Archetypal Rules",
abstract = "A one-premiss rule is said to be archetypal for a consequence relation when not only is the conclusion of any application of the rule a consequence (according to that relation) of the premiss, but whenever one formula has another as a consequence, these formulas are respectively equivalent to a premiss and a conclusion of some application of the rule. We are concerned here with the consequence relation of classical propositional logic and with the task of extending the above notion of archetypality to rules with more than one premiss, and providing an informative characterization of the set of rules falling under the more general notion.",
keywords = "archetypal rules, consequence relations, inference rules",
author = "Tomasz Połacik and Lloyd Humberstone",
year = "2018",
month = "6",
day = "1",
doi = "10.1017/S1755020318000072",
language = "English",
volume = "11",
pages = "279--294",
journal = "Review of Symbolic Logic",
issn = "1755-0203",
publisher = "Association for Symbolic Logic",
number = "2",

}

Classically Archetypal Rules. / Połacik, Tomasz; Humberstone, Lloyd.

In: Review of Symbolic Logic, Vol. 11, No. 2, 01.06.2018, p. 279-294.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Classically Archetypal Rules

AU - Połacik, Tomasz

AU - Humberstone, Lloyd

PY - 2018/6/1

Y1 - 2018/6/1

N2 - A one-premiss rule is said to be archetypal for a consequence relation when not only is the conclusion of any application of the rule a consequence (according to that relation) of the premiss, but whenever one formula has another as a consequence, these formulas are respectively equivalent to a premiss and a conclusion of some application of the rule. We are concerned here with the consequence relation of classical propositional logic and with the task of extending the above notion of archetypality to rules with more than one premiss, and providing an informative characterization of the set of rules falling under the more general notion.

AB - A one-premiss rule is said to be archetypal for a consequence relation when not only is the conclusion of any application of the rule a consequence (according to that relation) of the premiss, but whenever one formula has another as a consequence, these formulas are respectively equivalent to a premiss and a conclusion of some application of the rule. We are concerned here with the consequence relation of classical propositional logic and with the task of extending the above notion of archetypality to rules with more than one premiss, and providing an informative characterization of the set of rules falling under the more general notion.

KW - archetypal rules

KW - consequence relations

KW - inference rules

UR - http://www.scopus.com/inward/record.url?scp=85047155060&partnerID=8YFLogxK

U2 - 10.1017/S1755020318000072

DO - 10.1017/S1755020318000072

M3 - Article

VL - 11

SP - 279

EP - 294

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

SN - 1755-0203

IS - 2

ER -