Formal Reasoning About Influence in Natural Sciences Experiments

DOI10.1007/978-3-031-38499-8_9MaRDI QIDQ6492737

Martin Lange, Florian Bruse, Sören Möller

Publication date: 26 April 2024

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• An introduction to mathematical logic and type theory: To truth through proof.
• Proofs and countermodels in non-classical logics
• Countermodels from Sequent Calculi in Multi-Modal Logics
• The Discovery of My Completeness Proofs
• A Proof Theory for Description Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal Reasoning About Influence in Natural Sciences Experiments