Login / Signup
Boolean algebras of conditionals, probability and logic.
Tommaso Flaminio
Lluís Godo
Hykel Hosni
Published in:
CoRR (2020)
Keyphrases
</>
proof theory
proof theoretic
automated reasoning
real valued
probability distribution
boolean functions
boolean logic
neural network
probability theory
multi valued
knowledge representation and reasoning
boolean algebra
quantum computation