"We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis ^, .le.) can be turned into a proof containing only monotone formulas of size m ^ 0 (hg m) and with the number of proof lines polynomial in m. Also we show that some interesting special cases, namely the functional and the onto versions of Pigeonhole Principle and a version of ......" . . "RIV/67985840:_____/02:05030043!RIV/2004/MSM/A05004/N" . "Galesi, N." . "Monotone simulations of non-monotone proofs."@en . . . . "13"^^ . . "Monotone simulations of non-monotone proofs." . "We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis ^, .le.) can be turned into a proof containing only monotone formulas of size m ^ 0 (hg m) and with the number of proof lines polynomial in m. Also we show that some interesting special cases, namely the functional and the onto versions of Pigeonhole Principle and a version of ......"@en . "N/A" . "654241" . "65" . "[7BFFC71310D5]" . "Monotone simulations of non-monotone proofs."@en . . "1"^^ . "Pudl\u00E1k, Pavel" . . "P(IAA1019901), P(LN00A056), Z(AV0Z1019905)" . "Monotone simulations of non-monotone proofs." . "3"^^ . "RIV/67985840:_____/02:05030043" . "0"^^ . . "0"^^ . . . . . "propositional proof systems; monotone proofs"@en . . "Atserias, A." . . . . "0022-0000" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "Journal of Computer and System Sciences" . . "626;638" .