Partial Probability Functions and Intuitionistic Logic

Bulletin of the Section of Logic 41 (3/4):173-184 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

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.
From Classical to Intuitionistic Probability.Brian Weatherson - 2003 - Notre Dame Journal of Formal Logic 44 (2):111-123.
Relational and partial variable sets and basic predicate logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
A set theory with support for partial functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
Descriptions in Mathematical Logic.Gerard R. Renardel De Lavalette - 1984 - Studia Logica 43 (3):281 - 294.
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
Partial functions in type theory.François Lepage - 1992 - Notre Dame Journal of Formal Logic 33 (4):493-516.
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
A tableau calculus for partial functions.Manfred Kerber Michael Kohlhase - unknown

Analytics

Added to PP
2013-10-28

Downloads
41 (#388,436)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francois Lepage
Université de Montréal

Citations of this work

Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
Narration in judiciary fact-finding: a probabilistic explication.Rafal Urbaniak - 2018 - Artificial Intelligence and Law 26 (4):345-376.
La logique propositionnelle et ses variantes: une approche comparée.François Lepage - 2022 - [Montréal]: Presses de l'Université de Montréal. Edited by Samuel Montplaisir.

Add more citations

References found in this work

Probabilistic semantics for intuitionistic logic.C. G. Morgan & H. Leblanc - 1983 - Notre Dame Journal of Formal Logic 24 (2):161-180.
.François Lepage - 2013 - Les Cahiers D'Ithaque.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.

Add more references