Suppes-style sequent calculus for probability logic

DOI10.1093/LOGCOM/EXV068zbMATH Open1444.03085OpenAlexW2591152557MaRDI QIDQ3133161FDOQ3133161

Authors: Marija Boričić 

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b660ced29cdc198a0b8371070ff78fdfa7541c4e

Recommendations

• Sequent calculus for classical logic probabilized
• Proof systems for probabilistic uncertain reasoning
• Inference rules for probability logic
• scientific article; zbMATH DE number 1746426
• scientific article; zbMATH DE number 1095142

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cited In (8)

• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
• Generalizing probabilistic material implication and Bayesian conditionals
• On counting propositional logic and Wagner's hierarchy
• Sequent calculus for propositional likelihood logic
• A complete deductive system for probability logic
• A proof-search system for the logic of likelihood
• A logic and computation for Popper's conditional probabilities
• Sequent calculus for classical logic probabilized

This page was built for publication: Suppes-style sequent calculus for probability logic

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