On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency

Axioms 5 (15) (2016)
Download Edit this record How to cite View on PhilPapers
In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author has proved that the theories T+, T−, and T′ are equivalent.
PhilPapers/Archive ID
Upload history
Archival date: 2019-09-18
View other versions
Added to PP index

Total views
132 ( #41,289 of 65,529 )

Recent downloads (6 months)
13 ( #47,856 of 65,529 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.