Probability logic

DOI10.1305/NDJFL/1093870625zbMATH Open0547.03018OpenAlexW4206427571MaRDI QIDQ798650FDOQ798650

Authors: Theodore Hailperin 

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870625

Recommendations

• Probability logic
• Probability logics
• Logic and Probability
• scientific article
• scientific article; zbMATH DE number 1749201
• Probabilistic logic
• scientific article; zbMATH DE number 1827454
• scientific article; zbMATH DE number 988760
• scientific article; zbMATH DE number 3321249
• A logic for reasoning about probabilities

zbMATH Keywords

logical consequence

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cited In (82)

• Title not available (Why is that?)
• A stochastic model of mathematics and science
• Betting on fuzzy and many-valued propositions
• Probability propositional calculus with doubled nonstandard semantics.
• Title not available (Why is that?)
• Generalizing probabilistic material implication and Bayesian conditionals
• A logical consequence informed by probability
• Between Imagination and Gambling. The Forms of Validity in Scholastic Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches
• Modelling a public-key infrastructure
• Probability Logic and Borel's Denumerable Probability
• Inconsistency as qualified truth: a probability logic approach
• Measuring inconsistency with many-valued logics
• Probability semantics for quantifier logic
• A logic to reason about likelihood
• Title not available (Why is that?)
• Probability, truth and flow graph
• J.-H. Lambert's theory of probable syllogisms
• Title not available (Why is that?)
• Propositional relativity and logic calculation in probabilistic logic
• Past probabilities
• Probabilistic logic
• Probabilistic canonical models for partial logics
• Classical logic with indeterminate sentences
• Logic with numbers
• Can logic be combined with probability? Probably
• Consequence and confirmation
• Super-Solutions
• Reasoning with uncertainty in deductive databases and logic programs
• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
• Title not available (Why is that?)
• Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem
• Focused most probable world computations in probabilistic logic programs
• Characterizing consistency in probabilistic logic for a class of Horn clauses
• Title not available (Why is that?)
• On the logic of high probability
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• An algebraic synthesis of the foundations of logic and probability
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• The Rules of Logic Composition for the Bayesian Epistemic e-Values
• Title not available (Why is that?)
• Probability logic, logical probability, and inductive support
• Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking
• Logics with Probability Operators
• Title not available (Why is that?)
• Probability Disassembled
• Intuitive Probability Logic
• Probabilistic logic programming
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• Probability logic in the twentieth century
• Title not available (Why is that?)
• Is there a probability theory of many-valued events?
• Borel probabilistic and quantitative logic
• Using histograms to better answer queries to probabilistic logic programs
• On generalizing Kolmogorov
• A Survey of First-Order Probabilistic Models
• Logic with a probability semantics. Including solutions to some philosophical problems
• Probabilistic Entailment and a Non-Probabilistic Logic
• Probabilistic sentence satisfiability: an approach to PSAT
• The development of probability logic from leibniz to maccoll
• Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
• A logic for propositions with indefinite truth values
• Title not available (Why is that?)
• Homomorphic-like random set representations for fuzzy logic models using exponentiation with applications to data fusion
• An introduction to probabilistic L-valued logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probability logic and combining evidence
• Title not available (Why is that?)
• Probability and logic.
• Title not available (Why is that?)
• Semantic probabilistic inference of predictions
• Sequent calculus for classical logic probabilized
• Consistency checking and querying in probabilistic databases under integrity constraints
• Probability logics with vector-valued measures
• Probability logics
• Quantifier probability logic and the confirmation paradox
• Title not available (Why is that?)
• Probability and symmetric logic

This page was built for publication: Probability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798650)