Validity Measurement in Some Propositional Logics

Mathematical Logic Quarterly 43 (4):550-558 (1997)
  Copy   BIBTEX

Abstract

The language of the propositional calculus is extended by two families of propositional probability operators, inductively applicable to the formulae, and the set of all formulae provable in an arbitrary superintuitionistic propositional logic is extended by the probability measure axioms concerning those probability operators. A logical system obtained in such a way, similar to a kind of polymodal logic, makes possible to express a probability measure of truthfulness of any formula. The paper contains a description of the Kripke-type possible worlds semantics covering the considered logical systems, being followed by the corresponding completeness results

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,546

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
A probabilistic extension of intuitionistic logic.Z. Ognjanovic & Z. Markovic - 2003 - Mathematical Logic Quarterly 49 (4):415.
An infinitary propositional probability logic.Stefano Baratella - 2023 - Archive for Mathematical Logic 62 (3):291-320.
Interpretation of De Finetti coherence criterion in Łukasiewicz logic.Daniele Mundici - 2010 - Annals of Pure and Applied Logic 161 (2):235-245.
Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.

Analytics

Added to PP
2013-12-01

Downloads
24 (#936,047)

6 months
7 (#607,802)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A probabilistic extension of intuitionistic logic.Z. Ognjanovic & Z. Markovic - 2003 - Mathematical Logic Quarterly 49 (4):415.

Add more citations

References found in this work

The logic of scientific discovery.Karl Raimund Popper - 1934 - New York: Routledge. Edited by Hutchinson Publishing Group.
The Logic of Scientific Discovery.Karl R. Popper - 1959 - Les Etudes Philosophiques 14 (3):383-383.
The logic of chance.John Venn - 1876 - Mineola, N.Y.: Dover Publications.
Formal Logic (1847).Augustus De Morgan - 2018 - Franklin Classics.
A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.

View all 9 references / Add more references