Probability and natural deduction

DOI10.1093/LOGCOM/EXAE007MaRDI QIDQ6915779zbMATH OpenFDO

Authors Marija Boričić Joksimović, Nebojša Ikodinović, Nenad Stojanović

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE007

zbMATH Keywords

completenessconsistencynatural deductionprobabilitysoundness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• Modus TollensProbabilized
• A first-order probabilistic logic with approximate conditional probabilities
• A logic for reasoning about probabilities
• Anytime deduction for probabilistic logic
• Best Possible Inequalities for the Probability of a Logical Function of Events
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3321238 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• Inference rules for probability logic
• On carnap and popper probability functions
• Probabilistic logic
• Probabilistic logic revisited
• Probabilistic Modeling of Default Reasoning
• Probability functions and their assumption sets. The singulary case
• Probability logic
• Probability logic for type spaces
• Probability logics
• Probability logics. Probability-based formalization of uncertain reasoning
• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
• Sequent calculus for classical logic probabilized
• Suppes-style sequent calculus for probability logic
• Untersuchungen über das logische Schließen. II.

Cited in

(1)

• A logic with probabilistic Jaccard similarity

This page was built for publication: Probability and natural deduction

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