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
Revision history
Archival date: 2019-09-18
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.

Add more citations

Added to PP index

Total views
83 ( #35,332 of 49,078 )

Recent downloads (6 months)
24 ( #27,723 of 49,078 )

How can I increase my downloads?

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