Axioms 5 (15) (2016)

Authors
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.
Keywords deductive system   equivalence of theories  deductive systems  rejection   inconsistency  Tarski’s consequence theories   rejection theory  inconsistency theory  entailment
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

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

Similar books and articles

Teoria zdań odrzuconych.Urszula Wybraniec-Skardowska - 1969 - Dissertation, Opole University
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.
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
Probabilistic Entailment and a Non-Probabilistic Logic.Kevin Knight - 2003 - Logic Journal of the IGPL 11 (3):353-365.
Consistent Inconsistency Theories.Bradley Armour‐Garb - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):639 – 654.
On the Measure of Conflicts: An Argumentation-Based Framework.Badran Raddaoui - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):240-259.

Analytics

Added to PP index
2019-04-02

Total views
106 ( #93,521 of 2,410,233 )

Recent downloads (6 months)
17 ( #42,935 of 2,410,233 )

How can I increase my downloads?

Downloads

My notes