Proof Theory for Positive Logic with Weak Negation.

Marta Bílková Almudena Colacito

Published in: Stud Logica (2020)

Keyphrases

proof theory
default reasoning
proof theoretic
positive and negative
automated reasoning
reasoning problems
logic programming
logic programs
belief revision
artificial intelligence
expert systems
deductive databases
default logic