scientific article; zbMATH DE number 3344563
From MaRDI portal
Publication:5620583
zbMath0217.00902MaRDI QIDQ5620583
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (13)
Evidence algorithm and inference search in first-order logics ⋮ Superposition-based equality handling for analytic tableaux ⋮ Glushkov's evidence algorithm ⋮ What Is Essential Unification? ⋮ The undecidability of simultaneous rigid E-unification ⋮ Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification ⋮ Modal translations in substructural logics ⋮ Sequent forms of Herbrand theorem and their applications ⋮ Evidence algorithm and sad systems: past and possible future ⋮ Cut-type rules for calculi of general type ⋮ What you always wanted to know about rigid E-unification ⋮ Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) ⋮ THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
This page was built for publication:
