Evidence algorithm and sequent logical inference search
From MaRDI portal
Recommendations
- Evidence algorithm and inference search in first-order logics
- Mathematical text processing in EA-style: a sequent aspect
- Peculiarities of deductive constructions in evidence algorithm information environment
- On the EA-style integrated processing of self-contained mathematical texts
- scientific article; zbMATH DE number 1354109
Cited in
(16)- Evidential support logic programming
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
- Sequent forms of Herbrand theorem and their applications
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
- Peculiarities of deductive constructions in evidence algorithm information environment
- On the EA-style integrated processing of self-contained mathematical texts
- Evidence algorithm and inference search in first-order logics
- scientific article; zbMATH DE number 89224 (Why is no real title available?)
- scientific article; zbMATH DE number 1354109 (Why is no real title available?)
- A sequent calculus machine for symbolic computation systems
- Glushkov's evidence algorithm
- scientific article; zbMATH DE number 3992945 (Why is no real title available?)
- scientific article; zbMATH DE number 2120024 (Why is no real title available?)
- Mathematical text processing in EA-style: a sequent aspect
- Evidential paradigm: the logical aspect
- Foundations of Information and Knowledge Systems
This page was built for publication: Evidence algorithm and sequent logical inference search
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938416)
