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

From MaRDI portal

(Redirected from Publication:1245933)

Jump to:navigation, search

DOI10.1007/BF01084084MaRDI QIDQ1245933zbMATH OpenOpenAlexFDO

Authors 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

scientific article; zbMATH DE number 3325541 (Why is no real title available?)
scientific article; zbMATH DE number 3365215 (Why is no real title available?)
scientific article; zbMATH DE number 3073037 (Why is no real title available?)
scientific article; zbMATH DE number 3074068 (Why is no real title available?)
Specialization of the use of axioms for deduction search in axiomatic theories with equality

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1245933)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_specialization_of_the_form_of_deductions_in_Gentzen_calculi_and_its_applications&oldid=67299708"