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
844 (#17,027)

6 months
88 (#53,293)

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?