Inference rules for probability logic

DOI10.2298/PIM1614077BzbMath1474.03078OpenAlexW2555213409MaRDI QIDQ5279245

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

zbMATH Keywords

consistencyprobabilitycompletenesssoundnessinference rules

Mathematics Subject Classification ID

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

Related Items (3)

A logic and computation for Popper's conditional probabilities ⋮ Sequent calculus for classical logic probabilized ⋮ Probabilized Sequent Calculus and Natural Deduction System for Classical Logic

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