Mathematical text processing in EA-style: a sequent aspect

DOI10.6092/ISSN.1972-5787/4569MaRDI QIDQ5195276zbMATH OpenOpenAlexFDO

Authors

Publication date 18 September 2019

Full work available at URL https://doaj.org/article/aba0a6a489ea48928433c8f6e5bc78eb

zbMATH Keywords

classical logicevidence algorithmintuitionistic logicmodal logicsequent calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1405443
• Mathematical Knowledge Management
• Evidence algorithm and inference search in first-order logics
• Evidential paradigm: the logical aspect
• On the EA-style integrated processing of self-contained mathematical texts

Cited in

(9)

• The evidence algorithm and problems of representation and processing of mathematical computer knowledge
• Evidence algorithm and SAD systems: past and possible future
• Premise selection for mathematics by corpus analysis and kernel methods
• On the EA-style integrated processing of self-contained mathematical texts
• Computerizing mathematical text with MathLang
• Evidence algorithm and inference search in first-order logics
• scientific article; zbMATH DE number 1405443 (Why is no real title available?)
• Evidential paradigm: the logical aspect
• Foundations of Information and Knowledge Systems

This page was built for publication: Mathematical text processing in EA-style: a sequent aspect

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