Inferences in probability logic

摘要

We define a particular fuzzy logic, able to manage information that is probabilistic in nature. In this logic the probabilistic theories are suitable fuzzy sets of formulas that turn out to be lower envelopes while only the complete probabilistic theories coincide with the probabilities.