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
115 (#82,687)

6 months
38 (#85,771)

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?