Classical model existence and left resolution
Jui-Lin Lee · Logic and Logical Philosophy · 2008
By analyzing what are necessary conditions in the proof [4] of the classical model existence theorem CME (every consistent set has a classical model), we present the left resolution Gentzen systems R(¬,-), which proof-theoretically characterize CME.