Information-Extraction Through Reduction Methods In Some Formal Systems

DOI10.4288/JAFPOS1956.7.33MaRDI QIDQ3767344zbMATH OpenOpenAlexFDO

Authors Mariko Yasugi

Publication date 1986

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos1956.7.33

zbMATH Keywords

information-extractionproof theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 691421
• Herbrand Sequent Extraction
• Extracting information from intermediate semiconstructive HA-systems -- extended abstract
• Cut-elimination and redundancy-elimination by resolution
• Publication:4944901

Cited in

(3)

• The machinery of consistency proofs
• scientific article; zbMATH DE number 44391 (Why is no real title available?)
• scientific article; zbMATH DE number 691421 (Why is no real title available?)

This page was built for publication: Information-Extraction Through Reduction Methods In Some Formal Systems

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