An algebraic characterization of inductive soundness in proof by consistency
From MaRDI portal
Publication:1894333
DOI10.1007/BF02943497zbMath0837.68109OpenAlexW2911808422MaRDI QIDQ1894333
Publication date: 24 July 1995
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02943497
Cites Work
This page was built for publication: An algebraic characterization of inductive soundness in proof by consistency