Stable Harmony

In Peliš Michal (ed.), Logica Yearbook 2007 (2008)
  Copy   BIBTEX

Abstract

In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.

Author's Profile

Nils Kürbis
Ruhr-Universität Bochum

Analytics

Added to PP
2012-04-05

Downloads
981 (#19,056)

6 months
130 (#33,592)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?