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.
Categories
No categories specified
(categorize this paper)
(categorize this paper)
PhilPapers/Archive ID
BAREM-3
Upload history
Added to PP index
2020-06-09
Total views
24 ( #54,049 of 55,782 )
Recent downloads (6 months)
9 ( #49,107 of 55,782 )
2020-06-09
Total views
24 ( #54,049 of 55,782 )
Recent downloads (6 months)
9 ( #49,107 of 55,782 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.