Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.

Published in: CoRR (2021)

Keyphrases

positive and negative
logic programming
high level
modal logic
automated reasoning
classical logic
multi valued
logical framework
digital circuits
data sets
website
image sequences
natural language
breast cancer
clinical trials
proof theory