Formal Reasoning About Influence in Natural Sciences Experiments

DOI10.1007/978-3-031-38499-8_9MaRDI QIDQ6492737zbMATH OpenFDO

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

Publication date 26 April 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-38499-8_9

Mathematics Subject Classification ID

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

Cites work

• A proof theory for description logics.
• An introduction to mathematical logic and type theory: To truth through proof.
• Countermodels from sequent calculi in multi-modal logics
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 1215494 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• scientific article; zbMATH DE number 1794358 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Proofs and countermodels in non-classical logics
• The Discovery of My Completeness Proofs

Cited in

(1)

• A finite abstraction of real-valued functions for complete reasoning about influence

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6492737)