Abstrakt
We study some basic properties of Hilbert-style propositional calculi with the rule of condensed detachment instead of modus pones and substitution. The rule of condensed detachment, proposed by Carew A.
Meredith, can be seen as a version of modus ponens with the "minimal" amount of substitution.