Evidential paradigm: the logical aspect

DOI10.1023/B:CASA.0000012086.56979.F4MaRDI QIDQ557410zbMATH OpenOpenAlexFDO

Authors A. V. Lyaletskiĭ

Publication date 30 June 2005

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:casa.0000012086.56979.f4

zbMATH Keywords

deductionautomated theorem provingfirst order logicsequential calculus

Mathematics Subject Classification ID

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

Recommendations

• Evidence algorithm and SAD systems: past and possible future
• Mathematical text processing in EA-style: a sequent aspect
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge
• Publication:4938416
• Evidence algorithm and inference search in first-order logics

Cited in

(5)

• Evidence algorithm and inference search in first-order logics
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• Mathematical text processing in EA-style: a sequent aspect
• Glushkov's evidence algorithm
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge

This page was built for publication: Evidential paradigm: the logical aspect

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