An algebraic characterization of inductive soundness in proof by consistency

DOI10.1007/BF02943497zbMath0837.68109OpenAlexW2911808422MaRDI QIDQ1894333

Zhiqing Shao, Guoxin Song

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

zbMATH Keywords

inductive modelinductive soundness

Mathematics Subject Classification ID

Cites Work

• Proof by consistency
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic characterization of inductive soundness in proof by consistency