Probabilistic semantics for intuitionistic logic

&
Notre Dame Journal of Formal Logic 24 (2):161-180 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870307

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Probabilistic Semantics for Formal Logic.Charles Morgan & Hugues Leblanc - 1983 - Notre Dame Journal of Formal Logic 24:161-180.
Objective bayesian probabilistic logic.Jon Williamson - 2008
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.

Analytics

Added to PP
2010-08-24

Downloads
20 (#772,339)

6 months
3 (#984,149)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

From Classical to Intuitionistic Probability.Brian Weatherson - 2003 - Notre Dame Journal of Formal Logic 44 (2):111-123.
Conditionals, probability, and nontriviality.Charles G. Morgan & Edwin D. Mares - 1995 - Journal of Philosophical Logic 24 (5):455-467.
Partial Probability Functions and Intuitionistic Logic.François Lepage - 2012 - Bulletin of the Section of Logic 41 (3/4):173-184.
Weak Conditional Comparative Probability as a Formal Semantic Theory.Charles G. Morgan - 1984 - Mathematical Logic Quarterly 30 (13-16):199-212.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references