"11210" . "prelinearity; condensed detachment; proof theory; logic"@en . "8"^^ . . . "Note on D-completeness and prelinearity" . . . "1"^^ . "Bulletin of the Section of Logic" . "Note on D-completeness and prelinearity" . . "Note on D-completeness and prelinearity"@en . "1"^^ . . . "Note on D-completeness and prelinearity"@en . "Chvalovsk\u00FD, Karel" . . "[4612FD4DCB19]" . "http://www.filozof.uni.lodz.pl/bulletin/bazaIssue.php?g=42&d=%273-4%27&long=true" . "0138-0680" . "42" . . . "I, P(GAP202/10/1826), P(GD401/09/H007)" . . "We prove that any set of axioms containing B, B', and the prelinearity axiom is D-complete, i.e. the very same formulae are provable with the rule of condensed detachment as are with modus ponens and substitution." . . "We prove that any set of axioms containing B, B', and the prelinearity axiom is D-complete, i.e. the very same formulae are provable with the rule of condensed detachment as are with modus ponens and substitution."@en . . . . "RIV/00216208:11210/13:10190573" . "3-4" . . . "RIV/00216208:11210/13:10190573!RIV14-GA0-11210___" . . "92084" . "PL - Polsk\u00E1 republika" . .