Neutral Free Logic: Motivation, Proof Theory and Models.

Edi Pavlovic Norbert Gratzl

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

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
probabilistic model
logic programming
reasoning problems