Probabilized Sequent Calculus and Natural Deduction System for Classical Logic

DOI10.1007/978-3-030-52954-3_7OpenAlexW3043547779MaRDI QIDQ5024718

Marija Boričić

Publication date: 27 January 2022

Published in: Probabilistic Extensions of Various Logical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-52954-3_7

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probability functions and their assumption sets. The singulary case
• Probability logic
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Anytime deduction for probabilistic logic
• Sequent calculus for classical logic probabilized
• Suppes-style sequent calculus for probability logic
• Correspondences between gentzen and hilbert systems
• On carnap and popper probability functions
• Modus TollensProbabilized
• An intuitionistic logic with probabilistic operators
• Inference rules for probability logic
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Proof theory

This page was built for publication: Probabilized Sequent Calculus and Natural Deduction System for Classical Logic