On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency
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−...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2016-06-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | http://www.mdpi.com/2075-1680/5/2/15 |