Probabilized Sequent Calculus and Natural Deduction System for Classical Logic

DOI10.1007/978-3-030-52954-3_7MaRDI QIDQ5024718zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Sequent calculus for classical logic probabilized
• Suppes-style sequent calculus for probability logic
• Inference rules for probability logic
• A probabilistic extension of intuitionistic logic
• On classical logic with probability operators: a short survey

Cites work

• scientific article; zbMATH DE number 1322225 (Why is no real title available?)
• scientific article; zbMATH DE number 591047 (Why is no real title available?)
• 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?)
• Modus TollensProbabilized
• An intuitionistic logic with probabilistic operators
• Anytime deduction for probabilistic logic
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Correspondences between gentzen and hilbert systems
• Inference rules for probability logic
• On carnap and popper probability functions
• Probability functions and their assumption sets. The singulary case
• Probability logic
• Probability logics
• Proof theory
• Sequent calculus for classical logic probabilized
• Suppes-style sequent calculus for probability logic

Cited in

(3)

• Towards a Canonical Classical Natural Deduction System
• Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
• Probability and natural deduction

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

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