Sequent calculus for classical logic probabilized
From MaRDI portal
Publication:1712933
DOI10.1007/s00153-018-0626-3zbMath1446.03047OpenAlexW2801309692WikidataQ129859894 ScholiaQ129859894MaRDI QIDQ1712933
Publication date: 24 January 2019
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-018-0626-3
Probability and inductive logic (03B48) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (2)
Generalizing probabilistic material implication and Bayesian conditionals ⋮ Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Completeness theorem for propositional probabilistic models whose measures have only finite ranges
- Algebra of proofs
- Probability functions and their assumption sets. The singulary case
- Probability logic
- Probabilistic logic
- The logic of conditionals. An application of probability to deductive logic
- Anytime deduction for probabilistic logic
- A logic for reasoning about probabilities
- Untersuchungen über das logische Schliessen. I
- Probabilistic logic revisited
- Probability Logics
- Suppes-style sequent calculus for probability logic
- On carnap and popper probability functions
- A probabilistic extension of intuitionistic logic
- Modus TollensProbabilized
- An intuitionistic logic with probabilistic operators
- A cut-free sequent calculus for relevant logic RW
- Inference rules for probability logic
- Best Possible Inequalities for the Probability of a Logical Function of Events
- Completeness theorem for a logic with imprecise and conditional probabilities
- On sentences which are true of direct unions of algebras
- Proof theory
This page was built for publication: Sequent calculus for classical logic probabilized
