Gently Paraconsistent Calculi
In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference. Each calculus will be expected to contain all axiom schemas of the positive fragment of classical propositional calculus and respect the principle of ge...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-12-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/9/4/142 |
| _version_ | 1797544911578333184 |
|---|---|
| author | Janusz Ciuciura |
| author_facet | Janusz Ciuciura |
| author_sort | Janusz Ciuciura |
| collection | DOAJ |
| description | In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference. Each calculus will be expected to contain all axiom schemas of the positive fragment of classical propositional calculus and respect the principle of gentle explosion. |
| first_indexed | 2024-03-10T14:08:12Z |
| format | Article |
| id | doaj.art-cee264842cdf47f99d0a2f2ec7730643 |
| institution | Directory Open Access Journal |
| issn | 2075-1680 |
| language | English |
| last_indexed | 2024-03-10T14:08:12Z |
| publishDate | 2020-12-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Axioms |
| spelling | doaj.art-cee264842cdf47f99d0a2f2ec77306432023-11-21T00:32:13ZengMDPI AGAxioms2075-16802020-12-019414210.3390/axioms9040142Gently Paraconsistent CalculiJanusz Ciuciura0Faculty of Philosophy and History, Institute of Philosophy, University of Łódź, Lindleya 3/5, 90-131 Łódź, PolandIn this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference. Each calculus will be expected to contain all axiom schemas of the positive fragment of classical propositional calculus and respect the principle of gentle explosion.https://www.mdpi.com/2075-1680/9/4/142paraconsistent logicparaconsistencythe principle of explosionSette’s calculusparacomplete calculiparanornal logics |
| spellingShingle | Janusz Ciuciura Gently Paraconsistent Calculi Axioms paraconsistent logic paraconsistency the principle of explosion Sette’s calculus paracomplete calculi paranornal logics |
| title | Gently Paraconsistent Calculi |
| title_full | Gently Paraconsistent Calculi |
| title_fullStr | Gently Paraconsistent Calculi |
| title_full_unstemmed | Gently Paraconsistent Calculi |
| title_short | Gently Paraconsistent Calculi |
| title_sort | gently paraconsistent calculi |
| topic | paraconsistent logic paraconsistency the principle of explosion Sette’s calculus paracomplete calculi paranornal logics |
| url | https://www.mdpi.com/2075-1680/9/4/142 |
| work_keys_str_mv | AT januszciuciura gentlyparaconsistentcalculi |