Embracing monotonicity

Abstract

A non-embracing consequence relation is one such that no set of wffs closed under it is equal to the set of all wffs. I prove that these relations have no deductive power if they are also extensive and monotonic.

Author's Profile

Luis F. Bartolo Alegre
Ludwig Maximilians Universität, München

Analytics

Added to PP
2020-06-09

Downloads
117 (#82,997)

6 months
39 (#85,824)

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?