Valuational semantics of rule derivability

Research output: Contribution to journalArticleResearchpeer-review

28 Citations (Scopus)


If a certain semantic relation (which we call 'local consequence') is allowed to guide expectations about which rules are derivable from other rules, these expectations will not always be fulfilled, as we illustrate. An alternative semantic criterion (based on a relation we call 'global consequence'), suggested by work of J.W. Garson, turns out to provide a much better - indeed a perfectly accurate - guide to derivability.

Original languageEnglish
Pages (from-to)451-461
Number of pages11
JournalJournal of Philosophical Logic
Issue number5
Publication statusPublished - 1 Jan 1996


  • Consequence relations
  • Rules

Cite this