scientific article; zbMATH DE number 3321248

zbMath0202.29905MaRDI QIDQ5599800

Dana S. Scott, Peter H. Krauss

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General logic (03Bxx)

Related Items

Fuzzy refutations for probability and multivalued logics, Generalized Bosbach states. I, An algebraic synthesis of the foundations of logic and probability, Probabilistic description logic programs under inheritance with overriding for the semantic Web, Can logic be combined with probability? Probably, First-order classical modal logic, Logic and probabilistic systems, Modelling uncertain inference, Relative negations in non-commutative fuzzy structures, IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?, A continuum-valued logic of degrees of probability, Repelling a Prussian charge with a solution to a paradox of Dubins, Semantic probabilistic inference of predictions, Contributions to foundations of probability calculus on the basis of the modal logical calculus MC(nu) or MC*(nu), Probabilities on sentences in an expressive logic, Infinity and verifiability in Carnap's inductive logic, Probability and logic., A note on binary inductive logic, Probabilities defined on standard and non-standard cylindric set algebras, Towards classifying propositional probabilistic logics, States on polyadic MV-algebras, Probabilistic logic programming, The well-designed logical robot: learning and experience from observations to the Situation Calculus, Paraconsistent informational logic, On the problem of imprecision, Towards a model theory of statistical theories, How to Predict Consistently?, The Epistemology of Computer-Mediated Proofs, An analysis of first-order logics of probability, Randomizing a model, Measures on cylindric algebras, A probabilistic dynamic logic, A semantical framework for supporting subjective and conditional probabilities in deductive databases, Logics with Probability Operators, Some New Probability Operators, Combining probabilistic logic programming with the power of maximum entropy, Quantum logic as a fragment of independence-friendly logic