Structural proof theory for first-order weak Kleene logics.

Andreas Fjellstad

Published in: J. Appl. Non Class. Logics (2020)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
propositional logic
first order logic
regular expressions
belief revision
model theoretic
natural language
logic programming
partial order
inference rules
horn clauses