Specialization of the use of axioms for deduction search in axiomatic theories with equality

DOI10.1007/BF01117477zbMath0252.02025OpenAlexW2047062027WikidataQ114694061 ScholiaQ114694061MaRDI QIDQ2557245

A. Ju. Pljuskevicene

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01117477

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items (4)

Quantifier-free logic for nondeterministic theories ⋮ Quantifier-free logic for multialgebraic theories ⋮ Extension of the inverse method to axiomatic theories with equality ⋮ A specialization of the form of deductions in Gentzen calculi and its applications

This page was built for publication: Specialization of the use of axioms for deduction search in axiomatic theories with equality