D-complete Single Axioms for the Equivalential Calculus with the rules D and R
Ulrich showed that most of the known axiomatisations of the classical equivalence calculus (EC) are D-incomplete, that is, they are not complete with the condensed detachment rule (D) as the primary rule of the proof procedure. He proved that the axiomatisation EEpEqrErEqp, EEEpppp by Wajsberg is D-...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Artigo |
| Taal: | Inglês |
| Gepubliceerd in: |
Lodz University Press
2024-11-01
|
| Reeks: | Bulletin of the Section of Logic |
| Onderwerpen: | |
| Online toegang: | https://czasopisma.uni.lodz.pl/bulletin/article/view/22207 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|