Publication:5620583
From MaRDI portal
zbMath0217.00902MaRDI QIDQ5620583
Publication date: 1963
03B10: Classical first-order logic
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
The undecidability of simultaneous rigid E-unification, Superposition-based equality handling for analytic tableaux, Modal translations in substructural logics, Cut-type rules for calculi of general type, Sequent forms of Herbrand theorem and their applications, Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)