Evidential paradigm: the logical aspect

DOI10.1023/B:CASA.0000012086.56979.F4zbMath1097.68631OpenAlexW1969227311MaRDI QIDQ557410

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)

Related Items (1)

Evidence algorithm and inference search in first-order logics

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