Inference rules for probability logic

DOI10.2298/PIM1614077BMaRDI QIDQ5279245zbMATH OpenOpenAlexFDO

Authors Marija Boričić

Publication date 19 July 2017

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL http://www.emis.de/journals/PIMB/114/4.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

completenessconsistencyinference rulesprobabilitysoundness

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Many-valued logic (03B50)

Recommendations

• Inferences in probability logic
• Inference in conditional probability logic
• Probabilistic interpretation of logical inference in possibility theory
• Probabilistic Logic and Induction
• A logic for inductive probabilistic reasoning
• Probability logics
• Probabilistic logic
• A logic for reasoning about probabilities
• scientific article; zbMATH DE number 988760
• scientific article; zbMATH DE number 1440096

Cited in

(12)

• Anytime deduction for probabilistic logic
• Sequent calculus for classical logic probabilized
• Four probability-preserving properties of inferences
• A logic and computation for Popper's conditional probabilities
• Probabilistic interpretation of logical inference in possibility theory
• Suppes-style sequent calculus for probability logic
• A complete deductive system for probability logic
• Artificial Intelligence and Soft Computing - ICAISC 2004
• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
• Probability and natural deduction
• Checking trustworthiness of probabilistic computations in a typed natural deduction system
• Trustworthiness preservation by copies of machine learning systems

This page was built for publication: Inference rules for probability logic

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