Algebras of intervals and a logic of conditional assertions

Journal of Philosophical Logic 33 (5):497-548 (2004)
  Copy   BIBTEX

Abstract

Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, Łukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,659

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

Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
The Conditional in Three-Valued Logic.Jan Sprenger - forthcoming - In Paul Egre & Lorenzo Rossi (eds.), Handbook of Three-Valued Logic. Cambridge, Massachusetts: The MIT Press.
The Conditional in Three-Valued Logic.Jan Sprenger (ed.) - forthcoming - Cambridge, Massachusetts: The MIT Press.
On the Representation Theorem for Boolean Algebras.N. Dunford & M. H. Stone - 1944 - Journal of Symbolic Logic 9 (2):47-47.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.

Analytics

Added to PP
2009-01-28

Downloads
101 (#171,844)

6 months
25 (#143,119)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Milne
University of Stirling

References found in this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219-241.
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.

View all 29 references / Add more references