Login / Signup

First-Degree Entailment and Truthmaker Functions.

Roderick Batchelor
Published in: J. Philos. Log. (2024)
Keyphrases
  • logic programming
  • computer vision
  • np complete
  • basis functions