Proof Systems for Probabilistic Uncertain Reasoning

&
Journal of Symbolic Logic 63 (3):1007-1039 (1998)
  Copy   BIBTEX

Abstract

The paper describes and proves completeness theorems for a series of proof systems formalizing common sense reasoning about uncertain knowledge in the case where this consists of sets of linear constraints on a probability function.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof systems for probabilistic uncertain reasoning.J. Paris & A. Vencovská - 1998 - Journal of Symbolic Logic 63 (3):1007-1039.
Common sense and maximum entropy.Jeff Paris - 1998 - Synthese 117 (1):75-93.
Exploring the Landscape of Relational Syllogistic Logics.Alex Kruckman & Lawrence S. Moss - 2021 - Review of Symbolic Logic 14 (3):728-765.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Naturalized formal epistemology of uncertain reasoning.Niki Pfeifer - 2012 - Dissertation, The Tilburg Center for Logic and Philosophy of Science, Tilburg University
Uncertain deductive reasoning.Niki Pfeifer & G. D. Kleiter - 2010 - In K. Manktelow, D. E. Over & S. Elqayam (eds.), The Science of Reason: A Festschrift for Jonathan St B.T. Evans. Psychology Press. pp. 145--166.
Reward versus risk in uncertain inference: Theorems and simulations.Gerhard Schurz & Paul D. Thorn - 2012 - Review of Symbolic Logic 5 (4):574-612.
Proof Systems for Exact Entailment.Johannes Korbmacher - 2023 - Review of Symbolic Logic 16 (4):1260-1295.
Some proof systems for common knowledge predicate.Yoshihito Tanaka - 2003 - Reports on Mathematical Logic:79-100.
A new criterion for comparing fuzzy logics for uncertain reasoning.A. D. C. Bennett, J. B. Paris & A. Vencovská - 2000 - Journal of Logic, Language and Information 9 (1):31-63.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,560,632)

6 months
5 (#837,449)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Paris
University of Manchester

Citations of this work

Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
Two information measures for inconsistent sets.Kevin M. Knight - 2003 - Journal of Logic, Language and Information 12 (2):227-248.

Add more citations

References found in this work

No references found.

Add more references