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-...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Lodz University Press
2024-11-01
|
| coleção: | Bulletin of the Section of Logic |
| Assuntos: | |
| Acesso em linha: | https://czasopisma.uni.lodz.pl/bulletin/article/view/22207 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|