Next Article in Journal / Special Issue
An Overview of the Fuzzy Axiomatic Systems and Characterizations Proposed at Ghent University
Previous Article in Journal / Special Issue
Contribution of Warsaw Logicians to Computational Logic
Open AccessArticle

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

Department of Philosophy, Cardinal Stefan Wyszyński University in Warsaw, Wóycickiego 1/3, 01-938 Warsaw, Poland
Academic Editor: Humberto Bustince
Axioms 2016, 5(2), 15; https://doi.org/10.3390/axioms5020015
Received: 25 February 2016 / Revised: 23 May 2016 / Accepted: 25 May 2016 / Published: 7 June 2016
(This article belongs to the Special Issue Lvov—Warsaw School)
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. View Full-Text
Keywords: deductive system; entailment; rejection; inconsistency; Tarski’s consequence theories; rejection theory; inconsistency theory; equivalence of theories deductive system; entailment; rejection; inconsistency; Tarski’s consequence theories; rejection theory; inconsistency theory; equivalence of theories
MDPI and ACS Style

Wybraniec-Skardowska, U. On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency. Axioms 2016, 5, 15.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map

1
Back to TopTop