A specialization of the form of deductions in Gentzen calculi and its applications

DOI10.1007/BF01084084zbMath0375.02015OpenAlexW1987860758MaRDI QIDQ1245933

V. P. Orevkov

Publication date: 1976

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

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

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cites Work

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

This page was built for publication: A specialization of the form of deductions in Gentzen calculi and its applications