Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates.

Published in: J. Philos. Log. (2022)

Keyphrases

proof theoretic
linear logic
proof theory
nonmonotonic reasoning
model theoretic
fixpoint
constraint logic programming
default reasoning
logic programming
artificial intelligence
multi attribute
operational semantics