Author:Alexander Victor Gheorghiu

Keyphrases

admissibility, base-extension semantics, hereditary Harrop formulae, Inferentialism², intuitionistic logic², logic, logic programming, proof-theoretic semantics², proof theory, tableaux, Uniform Proofs.