Login / Signup

On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.

Anupam Das
Published in: FSCD (2021)
Keyphrases
  • theorem proving
  • probabilistic logic
  • logical properties
  • mathematical proofs
  • data sets
  • logical reasoning
  • equational theories
  • database
  • databases
  • data mining
  • multiscale
  • logical representation