Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization

The paper organizes as follows: After explaining the technical terms of the title in § 1 and the remaining basic notions in § 2, we start to explicate the differences between our two versions of calculi in§ 3. The weak version is explained in § 4. The changes necessary for the strong version in order to admit liberalization of the δ-rule are explained in § 5. After concluding in § 6 we append all the proofs, references, and notes.