David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 33 (5):497-548 (2004)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
R. Booth & J. B. Paris (1998). A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge. Journal of Logic, Language and Information 7 (2):165-190.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Roberto Cignoli (1999). Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers.
Claes Strannegård (1999). Interpretability Over Peano Arithmetic. Journal of Symbolic Logic 64 (4):1407-1425.
George Georgescu (2010). States on Polyadic Mv-Algebras. Studia Logica 94 (2):231 - 243.
Mohamed A. Amer (1985). Extension of Relatively |Sigma-Additive Probabilities on Boolean Algebras of Logic. Journal of Symbolic Logic 50 (3):589 - 596.
Hirokazu Nishimura (1991). Boolean Valued Lie Algebras. Journal of Symbolic Logic 56 (2):731-741.
George Georgescu (2006). N-Valued Logics and Łukasiewicz–Moisil Algebras. Axiomathes 16 (1-2):123-136.
Peter Milne (1997). Bruno de Finetti and the Logic of Conditional Events. British Journal for the Philosophy of Science 48 (2):195-232.
Added to index2009-01-28
Total downloads18 ( #92,404 of 1,100,793 )
Recent downloads (6 months)7 ( #34,285 of 1,100,793 )
How can I increase my downloads?