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
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
2019-04-02

Total views
54 ( #35,044 of 43,694 )

Recent downloads (6 months)
54 ( #13,170 of 43,694 )

How can I increase my downloads?

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