A natural prior probability distribution derived from the propositional calculus

, &
Annals of Pure and Applied Logic 70 (3):243-285 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(94)90011-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,010

External links

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

On some non-classical extensions of second-order intuitionistic propositional calculus.Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (2):155-164.
DOSEN, K., Rudimentary Kripke models for the intuitionistic propositional calculus EVANS, DM and HRUSHOVSKI, E., On the automorphism groups of finite covers.H. Friedman, Sg Simpson, X. Yu, Mc Laskowski, Ad Greif, A. Marcia, M. Prest, C. Toffalori, A. Pillay & B. Hart - 1993 - Annals of Pure and Applied Logic 62:295.
Generalizations of enumeration reducibility using recursive infinitary propositional sentences.C. J. Ash - 1992 - Annals of Pure and Applied Logic 58 (3):173-184.
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 , pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 , pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Herzog, I., see Eklof, PC Hjorth, G., see Brendle, J.J. Brendle - 1995 - Annals of Pure and Applied Logic 72:309.
The intuitionistic fragment of computability logic at the propositional level.Giorgi Japaridze - 2007 - Annals of Pure and Applied Logic 147 (3):187-227.
On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
The λ μ T -calculus.Herman Geuvers, Robbert Krebbers & James McKinna - 2013 - Annals of Pure and Applied Logic 164 (6):676-701.
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.

Analytics

Added to PP
2014-01-16

Downloads
36 (#628,386)

6 months
7 (#710,381)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeffrey Paris
University of Manchester

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references