Sequent calculus for classical logic probabilized-Reference-Cited by-同舟云学术

Sequent calculus for classical logic probabilized

Published:2018-05-07 Issue:1-2 Volume:58 Page:119-136
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Boričić Marija

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/article/10.1007/s00153-018-0626-3/fulltext.html

Reference38 articles.

1. Adams, E.: The logic of conditionals. Inquiry 8, 166–197 (1965)

2. Adams, E.: The Logic of Conditionals. Reidel, Dordrecht (1975)

3. Boole, G.: The Laws of Thought. Prometheus Books, New York (2003). (First edition 1854)

4. Boričić, M.: Hypothetical syllogism rule probabilized. Bull. Symb. Log 20(3), 401–402. Abstract, Logic Colloquium 2012, University of Manchester, 12th–18th July 2012 (2014)

5. Boričić, M.: Models for the probabilistic sequent calculus. Bull. Symb. Log. 21 (1), 60. Abstract, Logic Colloquium 2014, European Summer Meeting of Association for Symbolic Logic, Vienna University of Technology 14th–19th July (2015)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A possible worlds semantics for trustworthy non-deterministic computations;International Journal of Approximate Reasoning;2024-09

2. Probability and natural deduction;Journal of Logic and Computation;2024-03-06

3. A Possible Worlds Semantics for Trustworthy Non-Deterministic Computations;2024

4. Generalizing probabilistic material implication and Bayesian conditionals;International Journal of Approximate Reasoning;2023-11

5. On Basic Probability Logic Inequalities;Mathematics;2021-06-17