Mathematical Text Processing in EA-style: a Sequent Aspect

DOI10.6092/ISSN.1972-5787/4569zbMath1451.03016OpenAlexW2269575421MaRDI QIDQ5195276

No author found.

Publication date: 18 September 2019

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

zbMATH Keywords

modal logicsequent calculusintuitionistic logicclassical logicevidence algorithm

Mathematics Subject Classification ID

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

Related Items (1)

Evidence algorithm and sad systems: past and possible future

This page was built for publication: Mathematical Text Processing in EA-style: a Sequent Aspect