D-COMPLETE SINGLE AXIOMS FOR THE EQUIVALENTIAL CALCULUS WITH THE RULES D AND R
Artykuł naukowy w czasopiśmie recenzowanyCzasopismo: Bulletin of the Section of Logic (ISSN: 0138-0680)
Rok wydania: 2024
Strony od-do: 11
Streszczenie: Ulrich [9] 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 [10] is D-complete and pointed out a number of D-complete single axioms, including one organic single axiom. In this paper we present new single axioms for EC with the condensed detachment and the reversed condensed detachment rules that form D-complete bases and are organic.
Słowa kluczowe: equivalential calculus, D-complete, single axiom, condensed detachment
DOI: https://doi.org/10.18778/0138-0680.2024.15
Cytowanie w formacie Bibtex:
@article{1,
author = "Marcin Czakon",
title = "D-COMPLETE SINGLE AXIOMS FOR THE EQUIVALENTIAL CALCULUS WITH THE RULES D AND R",
journal = "Bulletin of the Section of Logic",
year = "2024",
pages = "11"
}
Cytowanie w formacie APA:
Czakon, M. (2024). D-COMPLETE SINGLE AXIOMS FOR THE EQUIVALENTIAL CALCULUS WITH THE RULES D AND R. Bulletin of the Section of Logic, 11.