Starting from the requirement that a Lagrangian field theory be invari
ant under both Schwinger-Dyson BRST and Schwinger-Dyson anti-BRST symm
etry, we derive the BRST-anti-BRST analogue of the Batalin-Vilkovisky
formalism. This is done through standard Lagrangian gauge fixing respe
cting the extended BRST symmetry. The solutions of the resulting Maste
r Equation and the gauge-fixing procedure for the quantum action can b
e brought into forms that coincide with those obtained earlier on alge
braic grounds by Batalin, Lavrov and Tyutin.