Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged

Linear inequalities of matrices (15A39) Probability and inductive logic (03B48) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Axioms; other general questions in probability (60A05) Probability measures on groups or semigroups, Fourier transforms, factorization (60B15) Research exposition (monographs, survey articles) pertaining to probability theory (60-02) History of probability theory (60-03)

Related Items (38)

Probabilistic logic under coherence: complexity and algorithms ⋮ Characterizing consistency in probabilistic logic for a class of Horn clauses ⋮ Direct algorithms for checking consistency and making inferences from conditional probability assessments ⋮ Fuzzy refutations for probability and multivalued logics ⋮ Boole's conditions of possible experience and reasoning under uncertainty ⋮ Resolution and the integrality of satisfiability problems ⋮ Kurt Weichselberger's contribution to imprecise probabilities and statistical inference ⋮ Expressive probabilistic description logics ⋮ The differential of probabilistic entailment ⋮ Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ Quantum geometry of Boolean algebras and de Morgan duality ⋮ Boole’s Untruth Tables: The Formal Conditions of Meaning Before the Emergence of Propositional Logic ⋮ The objective and the subjective in mid-nineteenth-century British probability theory ⋮ Syntactic reasoning with conditional probabilities in deductive argumentation ⋮ LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC ⋮ Probabilistic satisfiability: algorithms with the presence and absence of a phase transition ⋮ Generalizing inference rules in a coherence-based probabilistic default reasoning ⋮ Roots and (Re)sources of Value (In)definiteness Versus Contextuality ⋮ Coherence of de Finetti coherence ⋮ A Tacit Assumption Behind Lewis Triviality That Is Not Applicable to Product Space Conditional Event Algebra ⋮ Optimization and probabilistic satisfiability on nested and co-nested formulas ⋮ Best second order bounds for two-terminal network reliability with dependent edge failures ⋮ Correlation polytopes: Their geometry and complexity ⋮ Quantitative Logic Reasoning ⋮ Deciding Koopman's qualitative probability ⋮ An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) ⋮ An anytime deduction algorithm for the probabilistic logic and entailment problems ⋮ The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900 ⋮ De Morgan in the Prehistory of Statistical Hypothesis Testing ⋮ Merging the local and global approaches to probabilistic satisfiability ⋮ The correspondence between george boole and stanley jevons, 1863–1864 ⋮ Probability logic and optimization SAT: The PSAT and CPA models ⋮ Multisets, heaps, bags, families: What is a multiset? ⋮ Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs ⋮ John Venn's Hypothetical Infinite Frequentism and Logic ⋮ Probabilistic satisfiability with imprecise probabilities ⋮ Probabilized Sequent Calculus and Natural Deduction System for Classical Logic

This page was built for publication: Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged