Classically Archetypal Rules

Tomasz Połacik, Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)


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
Issue number2
Publication statusPublished - 1 Jun 2018


  • archetypal rules
  • consequence relations
  • inference rules

Cite this