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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
MDPI AG
2020-12-01
|
| Serie: | Axioms |
| Soggetti: | |
| Accesso online: | https://www.mdpi.com/2075-1680/9/4/142 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|