Logical verification of scientific discovery

DOI10.1007/S11432-010-0084-YzbMath1497.03044OpenAlexW1990076232MaRDI QIDQ5046390

Wei Li

Publication date: 28 October 2022

Published in: Science China Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-010-0084-y

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other applications of logic (03B80)

Related Items (4)

Logical verification of scientific discovery ⋮ A general framework for computing maximal contractions ⋮ A decomposition based algorithm for maximal contractions ⋮ Proof systems for planning under 0-approximation semantics

Cites Work

• Unnamed Item
• Unnamed Item
• An algorithm to compute maximal contractions for Horn clauses
• A development calculus for specifications
• On the logic of theory change: Partial meet contraction and revision functions
• Logical verification of scientific discovery
• Mathematical logic. Foundations for information science

This page was built for publication: Logical verification of scientific discovery