scientific article; zbMATH DE number 3296224

zbMath0186.00501MaRDI QIDQ5579476

Grigori Mints

Publication date: 1966

Full work available at URL: http://mathnet.ru/eng/dan32387

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

The eskolemization of universal quantifiers ⋮ The Skolemization of prenex formulas in intermediate logics ⋮ Resolution is cut-free ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol

This page was built for publication: