scientific article; zbMATH DE number 5838699
From MaRDI portal
Publication:3069694
Cited in
(only showing first 100 items - show all)- Elimination problems in logic: a brief history
- Erroneous Euler and Venn diagrams
- Introspective forgetting
- An algebraic synthesis of the foundations of logic and probability
- A ``neoclassic probabilist: Francesco Paolo Cantelli
- The philosophical issues raised by fuzzy set theory
- The probabilistic analysis of testimony
- The problem of the invariance of dimension in the growth of modern topology, part I
- Generalized fuzzy set systems and particularization
- On the history of the strong law of large numbers and Boole's inequality
- A deterministic event tree approach to uncertainty, randomness and probability in individual chance processes
- Order of state functions and logic functions
- Nearly commuting projections
- Non-additive probabilities in the work of Bernoulli and Lambert
- Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem
- Simplification in a satisfiability checker for VLSI applications
- A catalog of Boolean concepts.
- Hilbert's paradox
- Probabilistic satisfiability with imprecise probabilities
- \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?
- Kurt Weichselberger's contribution to imprecise probabilities and statistical inference
- Is the principle of contradiction a consequence of \(x^2=x\)?
- Quantum effect logic in cognition
- From values to probabilities
- Quantum mechanics over sets: a pedagogical model with non-commutative finite probability theory as its quantum probability calculus
- Normal form backward induction for decision trees with coherent lower previsions
- Probability logic and optimization SAT: The PSAT and CPA models
- Key notions of Tarski's methodology of deductive systems
- Doubts and controversies: the debate on logic and probability in Italy during the first years of the 20th century
- Deduction with uncertain conditionals
- Nonparametric predictive inference and interval probability
- Nonparametric predictive inference with right-censored data
- Direct algorithms for checking consistency and making inferences from conditional probability assessments
- From Boolean algebra to unified algebra
- Applications of cut polyhedra. II
- Boole's conditions of possible experience and reasoning under uncertainty
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- Toward a visual proof system: Lewis Carroll's method of trees
- Best second order bounds for two-terminal network reliability with dependent edge failures
- Solution of Boolean equations
- Compatibility, desirability, and the running intersection property
- Comment: ``On the history and limitations of probability updating
- Information algebras in the theory of imprecise probabilities, an extension
- Eigenlogic in the spirit of George Boole
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- Logics of imprecise comparative probability
- Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logic
- Towards classifying propositional probabilistic logics
- Probabilization of logics: completeness and decidability
- Merging the local and global approaches to probabilistic satisfiability
- On the computation of the Möbius transform
- Logic diagrams, sacred geometry and neural networks
- Betting on continuous independent events
- Parallel dynamical systems over graphs and related topics: a survey
- Quantum decoherence: a logical perspective
- Product of partition logics, orthoalgebras, and automata
- Bruno de Finetti and imprecision: imprecise probability does not exist!
- Probabilities on sentences in an expressive logic
- Consistency checking and querying in probabilistic databases under integrity constraints
- Generating facets for the cut polytope of a graph by triangular elimination
- Fréchet optimal bounds on the probability of a union with supplementary information
- Approximations of modal logics: K and beyond
- Brittleness of Bayesian inference under finite information in a continuous world
- A logic for inductive probabilistic reasoning
- On the diagrammatic representation of existential statements with Venn diagrams
- Understanding one another: making out meanings with Boolean equations
- Projection, consistency, and George Boole
- Matrix expression of finite Boolean-type algebras
- Aaron Schuyler: the missing link between Euler and Venn diagrams?
- Argument strength in probabilistic argumentation based on defeasible rules
- On the observational implications of Knightian uncertainty
- The multifaceted impact of Ada Lovelace in the digital age. Book review of: R. Hammerman (ed.) and A. L. Russell (ed.), Ada's legacy. Cultures of computing from the Victorian to the digital age
- Domains of Sciences, Universes of Discourse and Omega Arguments
- The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900
- Sequential Convergences on Boolean Algebras Defined by Systems of Maximal Filters
- Geometric probability theory and Jaynes's methodology
- Modeling biased information seeking with second order probability distributions.
- McColl and minimization
- Mathematical Logic: Mathematics of Logic or Logic of Mathematics
- Transhumanism and artificial intelligence: philosophical aspects
- The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction
- Quantitative logic reasoning
- Facing the truth: Some advantages of direct interpretation
- Boole's annotations on ‘the mathematical analysis of logic’
- Negative probabilities and contextuality
- Probability logic in the twentieth century
- A formal approach to the problem of logical non-omniscience
- On Riečan and Bosbach states for bounded non-commutative \(\mathrm{R}\ell\)-monoids
- The parts and the whole: inquiring how the interaction of simple subsystems generates complexity
- Lewis Carroll's visual logic
- A possible neural representation of mathematical group structures
- William Rowan Hamilton and George Boole
- Mistakes concerning a chance encounter between Francis Galton and John Venn
- ON TRUTH, UNCERTAINTY, EQUILIBRIUM AND HARMONY — A TAXONOMY FOR YINYANG SCIENTIFIC COMPUTING
- The logic of partitions: introduction to the dual of the logic of subsets
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing
- De Morgan in the Prehistory of Statistical Hypothesis Testing
- Psychology in the foundations of logic and mathematics: the cases of boole, cantor and brouwer
- Boole's abandoned propositional logic
- The development of probability logic from leibniz to maccoll
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069694)
