Suppes-style sequent calculus for probability logic

DOI10.1093/logcom/exv068zbMath1444.03085OpenAlexW2591152557MaRDI QIDQ3133161

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

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Related Items (5)

A logic and computation for Popper's conditional probabilities ⋮ Generalizing probabilistic material implication and Bayesian conditionals ⋮ On counting propositional logic and Wagner's hierarchy ⋮ Sequent calculus for classical logic probabilized ⋮ Probabilized Sequent Calculus and Natural Deduction System for Classical Logic

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