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
Abstract
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
WYBOTM
Upload history
Archival date: 2019-09-18
View other versions
Added to PP index
2019-04-02

Total views
104 ( #37,394 of 55,912 )

Recent downloads (6 months)
17 ( #38,370 of 55,912 )

How can I increase my downloads?

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