Login / Signup

Proof-Theory and Semantics for a Theory of Definite Descriptions.

Nils Kürbis
Published in: TABLEAUX (2021)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • automated reasoning
  • reasoning problems
  • high level
  • theorem prover