PL EN


Preferences help
enabled [disable] Abstract
Number of results
2012 | 47 |
Article title

Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem

Authors
Content
Title variants
Languages of publication
PL
Abstracts
PL
As is stated in its title, in this paper consistency is understood as the absence of the negation of any implicative theorem. Then, a series of logics adequate to this concept of consistency is defined within the context of the ternary relational semantics with a set of designated points, negation being modelled with the Routley operator. Soundness and completeness theorems are provided for each one of these logics. In some cases, strong (i.e., in respect of deducibility) soundness and completeness theorems are also proven. All logics in this paper are included in Lewis’ S4. They are all paraconsistent, but none of them is relevant.
Keywords
PL
 
Publisher
Year
Volume
47
Physical description
Dates
published
2012
online
07 - 07 - 2015
Contributors
author
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2012-volume-47-article-2900
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.