Login / Signup

A first-order completeness result about characteristic Boolean algebras in classical realizability.

Guillaume Geoffroy
Published in: LICS (2022)
Keyphrases
  • real valued
  • data sets
  • databases
  • boolean functions
  • real world
  • probabilistic model
  • first order logic
  • data exchange
  • data quality
  • stochastic dominance