scientific article; zbMATH DE number 591047
From MaRDI portal
Publication:4296345
zbMath0799.03018MaRDI QIDQ4296345
Publication date: 24 November 1994
Full work available at URL: https://eudml.org/doc/118462
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Specifying and reasoning about uncertain agents ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ Unnamed Item ⋮ \(p\)-adic probability logics ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ Sequent calculus for classical logic probabilized ⋮ Interpolative Boolean Logic ⋮ Hierarchies of probabilistic logics ⋮ Conditional \(p\)-adic probability logic ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ How to Restore Compactness into Probabilistic Logics? ⋮ Some first-order probability logics ⋮ Logics with Probability Operators ⋮ Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
This page was built for publication: